z3_4.8.7-4_amd64.buildinfo (view)

Source
z3
Version
4.8.7-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 1 Jun 2021 19:28:35 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Wed, 29 Apr 2020 13:23:53 +0000
SHA1 of .buildinfo
b99b04ac88fc3c00c778da8f77281f6720c31dac

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: 7e2672844dff285f79cd1a3d7ecd60e14bcec972
SHA256: 9e2a667a77fea25ab0a3815c31c37967ad33bd9daf5d23d80dc10fb315e7d881

Size: 6,790,744 bytes
libz3-dev (libz3-dev_4.8.7-4_amd64.deb)
SHA1: 651416727dcfe43e67854f2bf9304278415b0428
SHA256: 378ff72b7f1b318c52ff387c83f6b6393145394b5a0996f0fcf3608b24ab7ae0

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_amd64.deb)
SHA1: 111162be9c75b36a09b079ae739788b022542e89
SHA256: f73b8db3a9405a4e557e1d332e0608c58d17d45190dd19e1784a37c3d3e698ba

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: 7419f078f3c7485b65ecd7613d587f64b6118770
SHA256: bbf44f7a3361113cb04f6e92428dbec8cde05ec36f74b43df1193be5cfe8c71b

Size: 32,588 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: be8d09971b7066ebbc3d3cb7859c67c21f81ef08
SHA256: 5a7633fa6cd4695d94fdf9c03a33d7bc6a0cec045967c18ba786e39b3f6e5d6d

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: 1d3a083e34bc77b1aa3c6bc01aeb3704e3beb997
SHA256: e39c1a29e60cf5431c5bad9d6ce45ce0a1fec079dccdeb34b4529fec1ae45b28

Size: 6,798,868 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: ff21d1c315281546d6757b316ea336afe4d603fd
Size: 117,911,928 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 047e6c0b9f575b9851f544b627586fd523c37de8
Size: 178,892 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: afc484501b288de72bd0f4a6212b5d0a9dbd4b00
Size: 116,558,296 bytes

Submissions

y99bpbhx
Submitted
Wed, 29 Apr 2020 13:23:54 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"