Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 25 Dec 2018 20:08:00 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 22 Nov 2017 13:45:34 +0000
SHA1 of .buildinfo
be032c6b34048c8ea72b03dd9a988ee71227cc60

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 24186df9aff40add614960ab8d7337d517ebd8b9
SHA256: 0dd48a69c4d8022bb597b3ffd1e6be0ac0ece987d19111b9ffcedb5e21eb1d63

Size: 5,199,496 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 0c905293c8b8f5a86e0fb553505711b7a71dec68
SHA256: 701f498a3d6ad06bf2e3cdb8660a46b8f4310112bf5e7ec885f8bcf523be5971

Size: 40,692 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: a689b76c2d28671d85bca664539411ba2d2d5ee8
SHA256: 0d0c2715962a668a4cd27357ff70ed12d811accd744aa54f6da8eebbc67870be

Size: 31,428 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 4c2894409792ca9761f05cfa81cd8069450badf0
SHA256: 975c70007dc425e18b3e1f65e8847d0ccfdb750088976076a30d30ff95f0d3f0

Size: 491,852 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: 3bf76abd7260136a1ccf8cff22f1c95ec3076140
SHA256: d4390610d5d135ca74f405ca3656a0f37a2cd3e933b58373eed12611114ff8c9

Size: 5,216,288 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: b1c6b2ad5b99ac40809519042ba4d6ef741bdebb
Size: 77,214,732 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 8a380d37fb73a94eba33febfe56cbbb15426453d
Size: 184,240 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: f9d1991934cb03c7bccee0d59c30ed30d9081c2d
Size: 137,564 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: fa140f221bb70014ed313c4baba9f909773f6b62
Size: 76,679,896 bytes

Submissions

Submitted
Wed, 22 Nov 2017 13:45:34 +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"