Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 13 Sep 2018 15:36:24 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Fri, 11 Aug 2017 09:13:40 +0000
SHA1 of .buildinfo
a318f7c35a3fb037b7c8957e6f97e0655624f409

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 36b5ea208b314e7fc34416fd12b62c045a5094e4
SHA256: e88fdaf9519616b47089d489547345a173f756aaec0a42865443b5463a4b26df

Size: 5,199,936 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 3a25b17982b811c8738b4ba7a862d3071a7805c9
SHA256: 1930d892c944a7832448f72555b5d20cfc229c80039e6f070e4289828ab7c852

Size: 40,606 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: d0e70bef6eab4975bc25d55d12efe2e5177f64ed
SHA256: bcc5ec2406bcca7952b4244eacb6a30f9480855976655c7ca9bddae3f28e698f

Size: 79,172 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 8b79ad1db1f64402da5578903aa4b904e2feccc0
SHA256: 7d23d297afffdf653c231b424f280d353eb2e4ba4971a9f220b1b7c09cd7fbb4

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 40c5fcd3927cdb3a1c89a14b59f139aaba6b0b25
SHA256: 0a8aa802d40c3e7f70bbfe7ff77ef478efe609d5cd4564fc1d4d8428028ff267

Size: 31,248 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: bb37f4965ad7c370c271f2f87ba6ef852cadd4f7
SHA256: ba6d937197306ed80a33786cfcaca66d47c6530f84378fa757db89ee9873723a

Size: 449,290 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 01d2b9b0d97e8511f0f701697bd42bc3eccc7641
SHA256: 0afa4a98f80bf0c99e040a3dea05533a1b3067ce50dd36b40c088f9b4d211ccf

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: f9d49721db8ae76011ba28a44f94c1568eb2d416
SHA256: 85f710651b38a302c8075ed1f4344066cd088caea1b79d6ceec2d2dcb27a4423

Size: 5,214,690 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: bbfc6dbc9e79706a51d4329551344ceaff8d02a6
Size: 77,235,214 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 910516c5efc4a2f35177affe830b022221e2a6f2
Size: 183,830 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: a5649dddb16a2c367b8a7b868f9bafb3c45ccc56
Size: 137,456 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: bb3c3d25bb96cf2269dc93c6945e4f7cf821a4cb
Size: 76,709,594 bytes

Submissions

Submitted
Fri, 11 Aug 2017 09:13:41 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/z3-4.4.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"