Source
z3
Version
4.4.1-1~deb9u1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 13 May 2021 19:47:57 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 10 Apr 2020 13:43:37 +0000
SHA1 of .buildinfo
ea1dde030c4c38217a76f7aabc6c4df29d65d54b

Binaries

libz3-4 (libz3-4_4.4.1-1~deb9u1_amd64.deb)
SHA1: 588ec0c66c9fb5ebeab890c782ceef1986aa4820
SHA256: a484ff8c2883a29ac6cb2aefa89037ed54443282f767281854723561ef3ce186

Size: 5,159,356 bytes
libz3-cil (libz3-cil_4.4.1-1~deb9u1_amd64.deb)
SHA1: 493eee73154e156bb123dccd149bbd27e975631a
SHA256: aac8fd61894b5e066d2647f52b95bd3b02d34dfcfa912c5d073681d651b17b3a

Size: 40,600 bytes
libz3-dev (libz3-dev_4.4.1-1~deb9u1_amd64.deb)
SHA1: b21e70f1a3aa694ff35942e06cc0960506a93e55
SHA256: b6d3fe11f9867f00566d40d26a2e7c0ca78fea85c1739e4a604d170544d7e5d0

Size: 79,632 bytes
libz3-java (libz3-java_4.4.1-1~deb9u1_amd64.deb)
SHA1: d760a0713a058ab7075962c4a0d162ee50f67d69
SHA256: acf120dd4c64bbac8a42db548fef0b0dea27604ad31290cb0bb2d59f7edaca50

Size: 143,454 bytes
libz3-jni (libz3-jni_4.4.1-1~deb9u1_amd64.deb)
SHA1: dda067f02395b325051a07eec6c8c9dc4085e80d
SHA256: 9714cfdbf5fff723f3e503ba17e0e9cf83c6394c22784b0d30d1fb54a9c89033

Size: 29,286 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb9u1_amd64.deb)
SHA1: 0ae4c46f601117ee7daecffead8aafc0e6d01ef0
SHA256: d982d744beb7d1803f38f106f1e30c1acbbcc3119c8489f7ecb5b68874e2df21

Size: 450,964 bytes
python-z3 (python-z3_4.4.1-1~deb9u1_amd64.deb)
SHA1: d8365ccf2a18cbc15d2eaf8c9ddf4ab67b7f6d53
SHA256: b483c4c4c2dbd735434b6d076105e1a65349a90ea197f25c86d071a97f7f70f3

Size: 66,932 bytes
z3 (z3_4.4.1-1~deb9u1_amd64.deb)
SHA1: aab6ed4ec75ed0a74ceb692100b5355834b68a63
SHA256: 401f5b6c2e5ef973e217581476c66715f31b409cabeb48ec0d5bc0e820a0b797

Size: 5,175,410 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb9u1_amd64.deb
SHA1: cb4b90c18cdc5608780145a742bbef85ea90fadc
Size: 77,256,892 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb9u1_amd64.deb
SHA1: 21635268e262fa9461b7da697e8379c35c8e003e
Size: 186,430 bytes
libz3-jni-dbgsym_4.4.1-1~deb9u1_amd64.deb
SHA1: 91fccbf1378fe09d1fa94e8262656a743b22512b
Size: 137,038 bytes
libz3-4-dbgsym_4.4.1-1~deb9u1_amd64.deb
SHA1: dbc88bfb6bd3781aa24e19f78e0b5957dbba5ea7
Size: 76,728,890 bytes

Submissions

Submitted
Fri, 10 Apr 2020 13:43:38 +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="1566643444"