Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 1 Feb 2020 21:16:11 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 30 Dec 2018 14:53:25 +0000
SHA1 of .buildinfo
05d5683e21de05333947c20b6abba0c5131b33fd

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: f9200a285aaf904e321261fe08e1e75522edb38e
SHA256: e8fa401f809d2c5d189b854374022042a04fecb4faa3350d41d2cf402e3bb3e2

Size: 5,204,140 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 388ba970729fc83af35cc6b8bbc8909aa2f9d133
SHA256: 769240ade109f28f0b3d2b8afe9a78478023c340fdaf1630c81709fbf2dc44a9

Size: 40,652 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: c4985ab482d61c6f9c6eaded160e265adf09aa44
SHA256: 840297faf60436f4fa4a6c68e87613b239f06d193e0e75a697a0eb14be7d2db0

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: 0c7812b7e8f8baf740a727cd8b81dd579f6592bd
SHA256: 1b441cc5d52e69509c00f11c0f36a2ce25d8fa1baab43316614026657c54adf2

Size: 31,900 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: d3af97c2da7178d4a41d8e59cc1c129a40ea2283
SHA256: 491f51a204a0078b4c14d27f8837a4ad9a19bcf306eb99f6f1fd356fcca74b90

Size: 522,776 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: c9ae3ae3f3030cc9920e0b5722e6ed78182f817f
SHA256: b675747ac936b5d60855140d9a7d31263eda7b76e5fe87598e37a81e7dc216ea

Size: 5,219,308 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b6d709fdda88f7c1c289afc0296eb01477c2e9d0
Size: 98,673,484 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 5a39d9a05c63b193689d8bd795b368e58462bcbc
Size: 218,764 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 779d64f55170fd414522b6bd8106eb6f0655688b
Size: 168,568 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b90420b3a284f84950973d6993e5b287b4baa788
Size: 98,073,440 bytes

Submissions

Submitted
Sun, 30 Dec 2018 14:53:27 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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