Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 21 Feb 2019 13:47:10 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 19 Jan 2018 07:25:13 +0000
SHA1 of .buildinfo
c7f6b3f69f005a04c24ae4b58d14f8f1798633e4

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 1c5767f7b894b686a4c67f3a210da5bdb78a2bca
SHA256: 088e246c8969c1fc504204e03a357029d8a2e8883572e3d302edc749b60df194

Size: 5,199,392 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 931bb3075866adeeea5c9893a2e5355dbb2c8d7e
SHA256: fa5f40dec579dca077147d06e0c3291ead7b4850908e77d158d6041bf85015d1

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: b7a566fffe86b7d9ae746f7eed16ccf131f88ce3
SHA256: 90591594480f092a8c0bc01ae4cc82b5276aba0f12539c076f9817bc6431087b

Size: 31,640 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: e4fd713e2e7ae29f24c68a05a3891d5e23af546d
SHA256: 366f18dc8bddc881e0277b7d698491b2c8ddf6c85a8d7634f91e42a02f3ab8e3

Size: 493,252 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: e530a2f8f7bfcae9be50094f3d4580a0c1007092
SHA256: 6c36b394cc508f7c3339c40ef39237bf3448517f754b471fe429e3d05b22769f

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 53ce8e31b76520d9e096998562332f1455332930
SHA256: 4acac2be094149bef41d6ade70026c037d380b9c2dbad3db1883d888058759a3

Size: 5,217,476 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 536757263b695f240111bb409143af1c53055e7f
Size: 77,270,752 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 5f6f9b5e94658fe9369146f0cfbbc50f44fb6881
Size: 184,248 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 144cf355678dfbb5c597330c1e5f8c53c57475f6
Size: 137,320 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 3a25aec434c913239a57ba6f4224678fd2112164
Size: 76,737,972 bytes

Submissions

Submitted
Fri, 19 Jan 2018 07:25:13 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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