Source
z3
Version
4.4.1-0.3
Architecture
armhf

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

First submitted
Sun, 22 Apr 2018 01:33:35 +0000
SHA1 of .buildinfo
299f340cb4955ac138fb6e5a9c4d247c8cc86b08

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: bccdbc14e4721e14574c5df1293532aad14e653e
SHA256: 9f5eb5823d0843bbbc93b71c1c93670f0bdc7feb2a66040a6181ff6f3857b928

Size: 4,369,640 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 5bb7a4d749405dee8221d0084b6d3d66785199d2
SHA256: faaec61b73a9f17dab8a73afb93b9e8feb1997da11050be3f49a3af3d17b68e9

Size: 40,916 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: d392bd1b5d8992274b2436553b776a5a92372c14
SHA256: 0a73b13a48dbff101b5f2f701eb93154686e0f5282c213f371cba74f88f211b1

Size: 4,375,488 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 4850264a97fbe1d544e340c2c153ff7b0a8538f9
Size: 76,114,416 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: 0727c55275875488d6a28a477db8f0719513c230
Size: 75,334,172 bytes

Submissions

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

Environment


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