Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 22 Feb 2019 18:28:24 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Fri, 22 Feb 2019 18:54:51 +0000
SHA1 of .buildinfo
15dd0d72045bf6a679f9c8bc59d059766d6fd39d

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 278ca6a8f3cd68036bfb6d0bbc8405a0937b5d7b
SHA256: f14404f3e0ddb474c9420c574c13b236c4b6b0af8b71832e8ec716bb95daa537

Size: 5,252,840 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 478ee2a411fe04cdb256572dddea89684758dad9
SHA256: 0edafcfc4c11047ae8ef4b1a82e29aebca3ce87a01ba24eb16788754e35d6d2a

Size: 40,664 bytes
libz3-dev (libz3-dev_4.4.1-0.4_amd64.deb)
SHA1: 1affd85a0a3f2f2359748e46cd01fe3b1c664187
SHA256: a34586f674651ef7692332a2d694bea37e0df8a3b4ac90eef134fd151d9dcf0d

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_amd64.deb)
SHA1: c4985ab482d61c6f9c6eaded160e265adf09aa44
SHA256: 840297faf60436f4fa4a6c68e87613b239f06d193e0e75a697a0eb14be7d2db0

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: cd55bcfa8fcf4f57252fcb95fa61a5a704f1a1a8
SHA256: deeed95061e4efd3bb3c1d84158ecb867a7e7e2e301bfd26a811750c1dbca03e

Size: 31,844 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: bd3c31353c89251624bb40d6ebdd35619acaa07e
SHA256: 0c942e86e29ff989f9f89a71c566607cc20f4a3f6be29bc459b047b7aeb3deaf

Size: 521,964 bytes
python-z3 (python-z3_4.4.1-0.4_amd64.deb)
SHA1: 7406286014ffe581d40fc8a8ad9f8d2efdbcd9be
SHA256: a9c08bd0430a547154c1e84529877eae035b0f0117cd22b0fa8e1ae5e2b4f638

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_amd64.deb)
SHA1: 2e3f253817a0e3691ad0f86d1e17366ab5f74303
SHA256: d210adcc05c32caf571fc07db7075e0e2550fced9a208175d1a874a21ac707c4

Size: 5,266,824 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 88ba1a362876382dbd07e844aa07aa3314639a49
Size: 98,960,208 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 8902c10f685583e843cfd5094784e64a89070626
Size: 218,892 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 15bb6df4df14cdba01175f4ef29a7b5dcc50907c
Size: 168,724 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: f84d4c30e87f5e8324e220d99e94a79be6766866
Size: 98,359,584 bytes

Submissions

Submitted
Fri, 22 Feb 2019 18:54:51 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1536521312"