Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 15 Oct 2019 11:35:16 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 12 Sep 2018 05:12:54 +0000
SHA1 of .buildinfo
52584bbfc0271046a031738ec7d88bf5f9e51429

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: f71758649ecf23609fee0a4379f2c2055a0afcfa
SHA256: 23ae18c7f30a940a589f3afd8caae1c25c6682a027f5cfc171fcebee645bf990

Size: 5,203,328 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 7cb22e4c8d667f09c7a4902958673968c88a6813
SHA256: ec4651cc196518da5435ae0d1e8c170afcc5461f67d1f0fa2e345d036637975f

Size: 40,660 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: 179e3844a104e954518e874903bafa890521d478
SHA256: a23d4c7f8b920df3b844454d736663e83f2e0b96d8e343b7a05eb8cc77ab0d58

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: 04e92c21fdd6d7c8a14d90241743145dd211b33c
SHA256: 6384de8f852721a49c0e96a6a2e4dbeba312e080f611b5826b3a0595bd919136

Size: 31,792 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 3ba04e6b024ad5748fe153365251f97b16991b1a
SHA256: a8a73cf869d9d44e1c3c86edb5c323b115b131e94e9c5487478921c1671f968a

Size: 527,232 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: e961b5ee2abcd2322b6e36c10c04b6b98afea263
SHA256: 6702eaccf6354384ce46d77df120955d27a1dccea517747dadb55a04992192cb

Size: 5,218,676 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 098cb5bcdac47a56297c428de9ed0632424c8f22
Size: 98,431,248 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: af97b2619f53e337599c9145b8af576305dbc214
Size: 219,256 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 2abf2fe5cacffd0b656f04000b4a57e88cfacb57
Size: 168,652 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 23cfbef0e57f4295d9b8b43a0e9471434603c880
Size: 97,815,104 bytes

Submissions

Submitted
Wed, 12 Sep 2018 05:12:54 +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="1536521312"