Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 7 Feb 2018 06:13:44 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Wed, 7 Feb 2018 09:24:21 +0000
SHA1 of .buildinfo
41648965d26e160b1dfb5d0c18eca042965661e8

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 6df5b4dd5891b61be1253aa2c13b9047cd615e73
SHA256: d4ce301681c6b2c83a10a27bb0a58b0eb259a76ba825a33aabc5f52ce64c8e0a

Size: 4,370,640 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 4513568e3ca94d47d44589e0f5b9f1fae5f05db3
SHA256: 54d4d94bad4294d1cc4418ef457a25b2de1fe29ea794e24b945e60dbafc87e5e

Size: 40,772 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: b5bb5ed76b15caa01ba66f34d64cbfc74d3b3b6f
SHA256: 380a9be6891bea9b3f9dd4af7e96d22afb5a521143eaafcf692e0dc6d6a6c930

Size: 28,900 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: de04495df1090ebf9e00121118a40af6e0b174a4
SHA256: 9faeb192494e55596fd13e8c8bf965283cf1389274e69de74e23f317a27b9d67

Size: 496,184 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: 548b08f8777a0d2c519e56de845bcdf8c56097d8
SHA256: 4efa1d995e5f7a03fe7815828ce5979fe60eb5b9130782e209d37427d69a1c13

Size: 4,376,016 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: c2d0d11308367aee9830b39e9c6589ee8bc114eb
Size: 75,194,976 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 246020aa53fd69d65885be1aba5af50d13d3eaf2
Size: 169,344 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 3d3dab07b788f8e1a50c67fceaf2d81c2812f3ba
Size: 145,132 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f4df602115a04f4c7f9210153d6f43da3f418b92
Size: 74,726,712 bytes

Submissions

Submitted
Wed, 7 Feb 2018 09:24:21 +0000
Signed by
0x00C8B57F4FD162BC odu3a (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"