Source
z3
Version
4.4.1-1~deb9u1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Sep 2019 06:37:54 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 9 Sep 2019 08:44:40 +0000
SHA1 of .buildinfo
3cc07bd1c7f21624d60d9dbdf06a168d393da15c

Binaries

libz3-4 (libz3-4_4.4.1-1~deb9u1_armhf.deb)
SHA1: 5cd6255e3e49b7edf099948f90b617310d0aef58
SHA256: bcbe31c5ea352b853bfa548edcf2303c42a4d3b9019cc84416398c73ed2d2f8f

Size: 4,320,434 bytes
libz3-cil (libz3-cil_4.4.1-1~deb9u1_armhf.deb)
SHA1: cfb5bb56d1e8fc595851ae282176257cb47dbe76
SHA256: 14eeb7e3d27de2fc0a740a10f66ae683fce609c7cde810fc0fde5fb58958dacf

Size: 40,744 bytes
libz3-dev (libz3-dev_4.4.1-1~deb9u1_armhf.deb)
SHA1: 91f14def9c0f31822bd6fada5cf358b15acaaa63
SHA256: 3988baa215669f4f46532a66bac4e735368a9d3bcf68205d9588c5b8c2bb819d

Size: 79,644 bytes
libz3-java (libz3-java_4.4.1-1~deb9u1_armhf.deb)
SHA1: 0a3b6ea3962f687aaa374cfe2eda421fd2da739c
SHA256: 082eea2e8cbac4a9226f2cdd1ba250dc6d6d24349953f3d484f2f330ddbdb0e1

Size: 143,458 bytes
libz3-jni (libz3-jni_4.4.1-1~deb9u1_armhf.deb)
SHA1: b7677ec97a7701c944b7f134a12a3e08991aa732
SHA256: 1217bbfe471b45c78442e34c1f166f161ccd12febb8606efe5a28e4bf68264d4

Size: 28,816 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb9u1_armhf.deb)
SHA1: 9fd52b936918e9e5981898aa8daccee7196c0049
SHA256: aea896879616423146b7e5cce3cd547020f5d5442012fe8d10a04e2a6cb9f28c

Size: 467,876 bytes
python-z3 (python-z3_4.4.1-1~deb9u1_armhf.deb)
SHA1: d9e3362f8eebf1cc629cbe246ccdbb96fc11004d
SHA256: 3fcd53cd6ce64ec8b0f086ef32ac8877d186cb9a632ffce5045e65caacf41cf6

Size: 66,934 bytes
z3 (z3_4.4.1-1~deb9u1_armhf.deb)
SHA1: 9e00f8f3ab2b3ec61d6dd926b58142fe3bc5eb73
SHA256: 25ab0d41061b08059e162618d464434f7c5fc855d39a20ad714bda6785d77fbc

Size: 4,327,362 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb9u1_armhf.deb
SHA1: 1934a2e9a71bc433aa2b01ef4d8c225c2eaa7561
Size: 75,126,312 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb9u1_armhf.deb
SHA1: be3f4e924492c3dd3bb04af69e941a037542f4be
Size: 171,166 bytes
libz3-jni-dbgsym_4.4.1-1~deb9u1_armhf.deb
SHA1: 28d5661b4ce4743ad3ea7aabb1b47f04b50f2067
Size: 145,662 bytes
libz3-4-dbgsym_4.4.1-1~deb9u1_armhf.deb
SHA1: 44bef2c32a30b2e8715806615cba51b57e278773
Size: 74,672,296 bytes

Submissions

Submitted
Mon, 9 Sep 2019 08:44:42 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566643444"