Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 18 Oct 2017 16:45:32 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 18 Oct 2017 16:45:55 +0000
SHA1 of .buildinfo
949dc758908ac62ad8b008605038831811f06b91

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 7bf454446b586d2a1f325b50a712f77a339127dc
SHA256: c8bfb8f53e8bcb1ad171ffefc16799a14949905075c4a5a024227e2f764b95ec

Size: 5,199,280 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 24453fa9d2cc7a37de70acb5954f75123652f366
SHA256: d106e97da3daa59c15da76ab77515bdf1cdda6c2572fe0a10c7a941a3a89c7cc

Size: 40,684 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: c4eb3c174bef60cc4a342a21f14bdbc0dfd5f216
SHA256: 6673021c14012110553585a93e9362259b0dae2bbd49f328b6cfeff3b70f2ae0

Size: 79,248 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 573e4bc3487c45c4614f3c76eda93f796db9725a
SHA256: 21859610b9017363eaee8442dcd5e3af0985557b84c012d2a08cd551574a7534

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 385b015ebc231f0966aa6af5bd365738ca5b6e67
SHA256: 3337de4f9a359a443de4ece2ec84356aeae93764d7043847e5080a211f266ea2

Size: 31,708 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 6167a174b7a63f0926b2970158939900cb5c8a56
SHA256: e4b2e78d80b317b06cfeda06771ccedeb520c2c3ece940d391107261ab795e10

Size: 485,664 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: de8c88c1e97978da942e5a22b5273218a1c27f0d
SHA256: 0a06bb5a8b4d834c6ae8684df5a187ccd68522fbb1af2cbe95dee1fdaa102230

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: dac296d151aba53ad14b4596da46ab4d25ad530e
SHA256: d9adfc12e4411f44d8a2c402e88cb1bde469438268be5b9545afe8462c3dac1c

Size: 5,217,896 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: fbff91d136a23dae26ceac7c6c09570c76761a8e
Size: 77,213,112 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: a215f85f5edc881b2ed824d61ae81223b55ea33b
Size: 184,312 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 26e6ee73ba3943ac70d127b22d1de55c79e11e29
Size: 137,376 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 7844812bf4fe469eba0e19c0549ac3d3a881de8e
Size: 76,704,256 bytes

Submissions

Submitted
Wed, 18 Oct 2017 16:45:56 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"