Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 19 Nov 2017 09:51:57 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sun, 19 Nov 2017 18:00:01 +0000
SHA1 of .buildinfo
2148bc4dc05df38264226e8948591ab003d2bd85

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 2849cb8d9d5b18c9a8bee136a32f71a40021b812
SHA256: 9b763d195f04c0de362dbbc635f853ef22735232041d3bc1459ca5af9742b825

Size: 4,369,036 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 3a83436e5b363d0cd703fc032f86aab501815140
SHA256: 72ec9e5419241c783b1c7294b34cbd6a533892d0e59be2f0d50869a4f31ad4a8

Size: 41,412 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 1f77483423ab4ecbf7004dd3349e7001df05931e
SHA256: 1ab52de86781a3ce55df006ff2db20555d138deaea5ee2a222b3b7a2bf254fe7

Size: 79,252 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 0babccd6e2a49fb9b11190594c8e3c8510912689
SHA256: f2e4b18785278af86c65a1104c2c18a820a43a28bc78756392b2bef608cd9f88

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: 8544acfd07390d42da43f07cce35e7ba7bb1e688
SHA256: 42a1e32c2be20ec111e64e67780dec76e205e3e567e84a40e09ae77b70d9c4d4

Size: 28,932 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 6472c7fcc92cfc1b42209e6cb247c9814fe0a0a5
SHA256: 47f050408741626853eedc37f873f16b662b6d9c6c041201bb0f0066d15251a4

Size: 501,060 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: 574f828987ab25fba5f2edbfa5c0a7c77727dbde
SHA256: 0e64d4f09d3b9cb82c403b052499021de6a1c2b08c9e1d6cc6d6629e5cf3f7c7

Size: 67,004 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: c70ede9deda35ca1208cf7ab61fdf8579c991571
SHA256: 4731bae09a8642119ec007e4243dd73f9dd24dbd3d87624e9aff4dd810c68ec9

Size: 4,376,916 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: c3fe8dcdf105d00e21fbcb897a607dc7568d7c91
Size: 75,515,188 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 541c7825edbafd734fc93dce1a054b822f8038b3
Size: 169,412 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 632904658d15ee043cdf04c419a0a314b9fc2c36
Size: 145,132 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: fce1fb285712f8a6a92e26d28551314123ae2205
Size: 74,489,304 bytes

Submissions

Submitted
Sun, 19 Nov 2017 18:00:02 +0000
Signed by
0xC49B971902D5E541 rpi2c (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/z3-4.4.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"