Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Jan 2017 00:52:06 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 9 Jan 2017 04:43:37 +0000
SHA1 of .buildinfo
d5f475f7af46b35037bcc62c5d68c933610e3a11

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 3eadc2d25d428d0ee787a9d97bc08ad760ffe31b
SHA256: 1f898ae07dc6ae2e7877be405bc0e5a84615642674408cd5ea9ca6ed634f1162

Size: 4,340,094 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 3f39f17a987cd6466dc0f513e661f409295e5b84
SHA256: f8198066dda4efc29b0c9be7c175e0776d9af337334e1f30c9ea3427d5617d24

Size: 40,486 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 5f61103f5afb6ef66a2c822d855f27ceaf7811c6
SHA256: b8a17836d198fc5448e74c93d20361d4ecea418e8ae22c94ec8960f3410008bd

Size: 79,176 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 242e85eb64fa7be113b57f44c3b2b113415dc117
SHA256: 56f488abff8aa9e681ccd441e5193937b2a0131f4d746ba4ef8bd6abe0d35fda

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: 8fc6eb987db99ac9ce4e16d017c919d57cf1e7ba
SHA256: 3cd3405e5e1feeab607c7787023ab1bf74d1a460d0c94221fc627ecc1fde8120

Size: 28,950 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: e4817350a5311333195d18a3d04c960896b376bb
SHA256: 94ff80f808d09b9dc339caedf37767a7248503c26dab06ba55cf7f1474a1a03b

Size: 462,260 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: eb37cd59f9d42e2aa1ad524fdc63de20ddba86b6
SHA256: 7a25c17376406c8ebafe9fc7c39f5ab17125442842d96ee33b8b5293be72cf72

Size: 66,922 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 4dbc494f37d3edc428f102349328a0ec8002cbb2
SHA256: 2aece6b7d40321b819c0883b9fa622465619d51032b7067b054a288e6c0ed9cb

Size: 4,347,882 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 166226c38c438b15b9518e78345cc3aa7d8d6880
Size: 75,205,204 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: c6cb7ea4f44e3353987a7cbb2e6a7f2002f7043d
Size: 171,072 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 340e66fd02b3eae5faf56c8a816d0fc252e580b2
Size: 145,724 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: b58a36a128b490a48888f205d7b10a9f577b5d0f
Size: 74,776,706 bytes

Submissions

Submitted
Mon, 9 Jan 2017 04:43:38 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (Automatically generated key for signing .buildinfo files)

Environment


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