Source
z3
Version
4.4.1-1~deb9u1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Sep 2019 04:39:38 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 9 Sep 2019 08:44:11 +0000
SHA1 of .buildinfo
30725119d8c866dbd1274cfd95ffdc1b1ed343cb

Binaries

libz3-4 (libz3-4_4.4.1-1~deb9u1_armhf.deb)
SHA1: 0113c2d4e753b8c3219d5b5bf72f9408cc133574
SHA256: 5199c993eefc084dd67c558738dbd4def2eb1c0454c0d62ea36970f4bcea6f85

Size: 4,319,618 bytes
libz3-cil (libz3-cil_4.4.1-1~deb9u1_armhf.deb)
SHA1: 66fd0c0cd782b4aed33d62905794c7c8ba6bb509
SHA256: 6a4181104e305751c7fca0e92e6c6bbde478717b8db39304bd10ea9aa1b22ec2

Size: 40,728 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: 78d3cbfb426be239a405bb2924906a550dd6bfba
SHA256: 87ca4c9f92f067d38e544740a1b00d4e51cd53e6f791f067f65f5ee8412ce5de

Size: 4,327,560 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb9u1_armhf.deb
SHA1: 20d4e7da5f87aba8291cfec1d29f7864c3ef671a
Size: 75,446,332 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: 2e42ec9e9f91fbff2558e673d648977a66d911bc
Size: 74,681,614 bytes

Submissions

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

Environment


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