Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 10 Jul 2018 12:15:08 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 10 Jul 2018 15:44:38 +0000
SHA1 of .buildinfo
cfecab4d560ba26c01e262f7fd997c086c51cd13

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 63405131363bc7fdb314686c6f2564079e6c49e1
SHA256: 6c88275ae239485a02a8d62503cc49df46603b3acae017af46767fee411aca7a

Size: 4,366,612 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 324aeaee81c243c27786b02cc10be0863a8fc503
SHA256: dc76d358c89d0c49aee3b10ae26090f599234068e43397b6c48ee3580b9c6cf3

Size: 40,812 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: 7e059e840d42bff7650fb5d1ba9157daecd800e4
SHA256: 1a9db47eb5f2ef7b86f62b76f81cff97704d64128f4c21095c5fc434f0c76b92

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: cecfc83e5afb5217a47893b7c5b0d7599eb2c90f
SHA256: e9a04bbb34fd6418eea184545a7d5ed7057b44800a1ca3aa2930e15c6194c0c9

Size: 28,748 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 129a2b67881de7f5d2125ed2fb2257de90db13cb
SHA256: b0a3acba88a76102768bef5bed9804599af04bff746825de86bd82df99271c06

Size: 496,944 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: bad98f03fd1da1e21ac399df19545cf35f91f619
SHA256: 384a5a2d95f21b48831b567cc151ae82b716da8d6e2d7d2344a7043faed6b1e5

Size: 4,373,944 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a9b8a09a8a33d1b66995df4a28b3cbf47898a47f
Size: 75,784,276 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 3960ce75fb75b749d88f437b9d6a69d72d8f6fba
Size: 169,148 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: c2c9b271266a91fb45b8cfb455fe4edf33f72a93
Size: 144,940 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 20cb25e44109afdb29838cde48e9a0bc46d9fa9a
Size: 75,340,620 bytes

Submissions

Submitted
Tue, 10 Jul 2018 15:44:38 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (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"