Source
z3
Version
4.4.1-0.4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 25 Nov 2018 12:43:00 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 25 Nov 2018 14:55:48 +0000
SHA1 of .buildinfo
1863e2f1b64846e97686a7614e0e677b4d07c406

Binaries

libz3-4 (libz3-4_4.4.1-0.4_i386.deb)
SHA1: 938176bddb9a902b490f9534da1912ee1d55676f
SHA256: 17c7a357a42b6c0c6eab2eeeb43fe35d71d9f4a0d8dbc344446d95ca4e263f2c

Size: 5,747,092 bytes
libz3-cil (libz3-cil_4.4.1-0.4_i386.deb)
SHA1: 4f46f6685a148a0d89c28de62634649665e21e31
SHA256: 36fcad0f741af03f9728f7d31de11ffb4be13ba9d8be2f8004ab542a337777d6

Size: 40,732 bytes
libz3-dev (libz3-dev_4.4.1-0.4_i386.deb)
SHA1: 84d7fa8d648d1d01c4e32af7292b106d3efcbccd
SHA256: 232b18e74eec8233ec1a15c81d4d445c3425adf132fae342b7c5ffa73b5696cb

Size: 79,360 bytes
libz3-java (libz3-java_4.4.1-0.4_i386.deb)
SHA1: c3a2d32871d610f9a74360db2fb54377e5c76fd1
SHA256: 54a3384576929e08421390ca63473f7f04915b59621cab648ffbde5587aec265

Size: 146,356 bytes
libz3-jni (libz3-jni_4.4.1-0.4_i386.deb)
SHA1: cb9aab0661c3dee2ef2ac3ce821702730a8ceef4
SHA256: 03be7c2a03aa96141de3216b9549aa799cab983dbedf2b2efa0dc0e2428add99

Size: 41,648 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_i386.deb)
SHA1: 1c8905dbfa060c39a36dbdc5db62c9d52a0f5885
SHA256: 36e2dd85baa903f58e37a439ebb9f5715546abf89385ba25b08538fa49f0d5f8

Size: 497,308 bytes
python-z3 (python-z3_4.4.1-0.4_i386.deb)
SHA1: ff717b842cda01de5f9a4b58b492b7066c966259
SHA256: 053a2f134a028c0e980a335d6fd8e668a5f6f565a0bba0c57da6f9e74ec6ceee

Size: 66,988 bytes
z3 (z3_4.4.1-0.4_i386.deb)
SHA1: 9c01632ebf295f22355ee00a14476ee133cf8876
SHA256: 1791ff0b9e3851a1ce074af51686db667311fcee6efa4260587814844c410fb5

Size: 5,761,056 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_i386.deb
SHA1: 24c47149bca19e253f8113e2eacdec7b46484bfe
Size: 94,584,452 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_i386.deb
SHA1: 1141a640b8bce968fc9c97246644a55d5576cc2b
Size: 190,460 bytes
libz3-jni-dbgsym_4.4.1-0.4_i386.deb
SHA1: 04ed93aeabd9a033ef9b3fe12d0cd5b30e686cea
Size: 142,912 bytes
libz3-4-dbgsym_4.4.1-0.4_i386.deb
SHA1: 056d572c56f720c4bad7655a19943be9575c3f36
Size: 93,996,704 bytes

Submissions

Submitted
Sun, 25 Nov 2018 14:55:49 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1536521312"