Source
z3
Version
4.4.1-0.4~deb9u1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Mar 2020 21:28:22 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 16 Feb 2019 15:05:52 +0000
SHA1 of .buildinfo
11a59cf56b59d401253210610cc0edc95af8c993

Binaries

libz3-4 (libz3-4_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 382a539f49f1d926132366c240b7a916b8e22361
SHA256: 00c688ac7a51cfeab9f072a85c47de329cec8a56c8ec6dee5237ba40e93b99f9

Size: 5,159,220 bytes
libz3-cil (libz3-cil_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 46aa1d8799f9a550844b9cdb8ee7d718e72072a1
SHA256: 5462eedec8c2c5c25c2be2a9aa82619d42bc19707ba1af9842471c3d60fbff95

Size: 40,554 bytes
libz3-dev (libz3-dev_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 9df8f4f02d5b635de0e5ad0b543d0be4934095db
SHA256: 0bfc6f6f2afe7cbe0219b8b4b085f7c00e1c5b4e0b67c2c0a27fb9257b60f944

Size: 79,316 bytes
libz3-java (libz3-java_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 582f3507fb7a13641204679117f56c8bd7c5ec72
SHA256: 227a88e63ea31142e8bf254a2d86ca7fefb5ff182352b566762f33975f4cd75a

Size: 143,436 bytes
libz3-jni (libz3-jni_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: e2dc7997233e46909c5bff6f9ae84da01a244232
SHA256: 1cbb6e7720ea995a9fb9afbef8f2343e1c7a9fe3811120019af38889b4c3ccb9

Size: 29,440 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 47e6dd763cc5c6209844930e43295069e42ab821
SHA256: d2b99c8e30ee70f23dfa34a1038a0ad01c95bff8e59022d22fd1b277fe74c256

Size: 451,098 bytes
python-z3 (python-z3_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 85d08dffe160ea1c7c7379dfbe277d728789b4dc
SHA256: 16a83ffdce1605fb930b5666a1fc87f0d5f2e1873efb435d3588f4230f5ce43d

Size: 66,900 bytes
z3 (z3_4.4.1-0.4~deb9u1_amd64.deb)
SHA1: 8a20d1f0f343e2c0bc41d60a74d73cea81b930b3
SHA256: 83f9a4595786e5f3f142126ebef384135b2cc22552b624e41b15ff4f5fed3b1c

Size: 5,178,148 bytes

Other checksums

z3-dbgsym_4.4.1-0.4~deb9u1_amd64.deb
SHA1: 637312173a1a777ed87fefb61dcc4be9e3b3e551
Size: 77,256,874 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4~deb9u1_amd64.deb
SHA1: ab9530358d1664862a8abfdb3b705235e6df9a91
Size: 186,378 bytes
libz3-jni-dbgsym_4.4.1-0.4~deb9u1_amd64.deb
SHA1: e70823a9cb0d234c4d3b435bbd43e0eae9c27570
Size: 137,020 bytes
libz3-4-dbgsym_4.4.1-0.4~deb9u1_amd64.deb
SHA1: 2e3228dc0cca4ac386c4cc8d33287e05f1e331eb
Size: 76,728,868 bytes

Submissions

Submitted
Sat, 16 Feb 2019 15:05:52 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1537119964"