Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 21 Apr 2018 23:27:13 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 22 Apr 2018 01:33:36 +0000
SHA1 of .buildinfo
3b175a638b32d7c15246b67a5b7c0216641abacc

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: f77fdbe1c9b9e7dfd3837023fb81d37166f1ebab
SHA256: 6016606a0fda8f67bd397b20e7c5176e880d36daf2715f5d6230e43917090e78

Size: 4,369,932 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 0e097345013e4acb804ca27e77b3f5cdf316762f
SHA256: fd3c67428be4f8c55609529b1ebf12f7a3d2eec5f054d1e448fb429afe913fe7

Size: 40,628 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: 2ef62fa2fb7307edb5f2b5614367606984264357
SHA256: a2cdd910ea9f2307054b30462e4a337939e7d80512501766a90bb88693c3a4fa

Size: 145,804 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: a0a23eaecf5e8582d751b2f7fdb69cca4c9a6ea7
SHA256: b935a6ab460fa5246c536c09a05c0b7f12a9e97f00909cf43ccfdd4420f153bb

Size: 28,888 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 8cd2df1b12bce9b061fcad0719b5612bc320806c
SHA256: c6b268100a986c42f93934c30cdb2663455c4625e1fdcf2a4e61301645a91a5a

Size: 498,868 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: 712d0447f7e610a73ff96a558491d2fb9d89cb9f
SHA256: 77b0f46d635af19bf00ecb1429bf1d5ef0e38ed5b69ec978f180af3e4abefd61

Size: 67,004 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 233714105bcb2033f615985b705b6e4d0b691618
SHA256: ec0efc9487c22cebd38f0d58fe48a8a5a6f39eb047c7a7f0d9b7aa856c059e36

Size: 4,376,128 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: b4e322eff30f1e4ee8288086a03da9c4871cc682
Size: 75,677,068 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: c0e8294346a0f1f1dbc1cedaae499ffe6d0c886e
Size: 169,280 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 59401a375dd345f7e3b3bb376a4f22ac25f7fb18
Size: 145,060 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 62b39fc5ec0ef3801bc12f528271b976114edab7
Size: 75,135,804 bytes

Submissions

Submitted
Sun, 22 Apr 2018 01:33:37 +0000
Signed by
0x0A07D6A9A1E93BC8 jtk1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"