Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 9 Jan 2018 09:57:56 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 9 Jan 2018 17:47:34 +0000
SHA1 of .buildinfo
52bf3bed0e771ea31e94c8bdc06787ba35872647

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 9dc83d3b6c1306fd985d2dea196b5f3b4b69e159
SHA256: 8987d8f2b1884591940bb9f6e208dfbb9454361668fa2ec99c323b405850f079

Size: 4,368,512 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 287c1ae15899d658d9e708b0cf52ea9d010b1563
SHA256: aafaa3899158ca3a2e510d518c14e01724e62810f7f249d00c3c8711e2e5d959

Size: 40,920 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: 5208682b0b685338ac8ed1ee8ffd66727e86f0fb
SHA256: 6bc42523ef1d6c5fb85b05de080ebfde9f85bfbbb2cd9eb24bb5cedc4aefbf0a

Size: 28,912 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: b90d5e6578c4d0de7b8c10d1221f18feadf785fa
SHA256: d133923aa2ea9fa18c7ddb56fb8a2b0d9ca88c108530117a6a0e9dbd57fec642

Size: 497,388 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: 00271ea1552ac47da5b95cea32cf3caf7b6e487b
SHA256: 42ab6201d43bc87c1f077736f3bb707c3817767b9989c16e92270d10db1b95d1

Size: 4,375,920 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 33bd52955fbd4145a64bb7204c4ab1359a1bc3b8
Size: 75,293,436 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 73d3747fd197ca90be87e4f787df455e4c84f7cb
Size: 169,408 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a5a00806a36c0c5706298658ecf97650a0ffb55c
Size: 145,160 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 5de1da37f4c5efae975352738e57af34fa96cbd3
Size: 74,760,996 bytes

Submissions

Submitted
Tue, 9 Jan 2018 17:47:34 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


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