Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 16 May 2018 07:38:08 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 16 May 2018 12:59:19 +0000
SHA1 of .buildinfo
587b49735edd61a00b8eada264d7bce6732f4660

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 715ffc514e21860249c6ff7a3577ed4c8090c5bb
SHA256: 40ca8dd53682652ce22ec9342a9318b0e81641327e5df01f43abb3b75dbf83d4

Size: 4,368,652 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 7f4191b97799c656e74b506fadde940366b50822
SHA256: d1ecbef37b1e8a2363167d331334cd973047ff2b9d9c8523a9d5276030b76164

Size: 40,936 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: 0ea7fb0f1d0db81ec31396c1b9e4fabc53c8cee5
SHA256: 15b5040a11e9bec0f39be41fadf038b267fe06c1b8d08460c1e4f35937ddb529

Size: 28,896 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 659bccc1bd505f535813681a45a7d2cf145a70c6
SHA256: 9403068e66fc47c1c6c21add3c0d11378e9a361360ffb694bc658936eaaf172a

Size: 500,584 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: ed8726b9479bb8ec60c45204f39f539d1141a5fe
SHA256: 9c37cc7624c1d1729b2f914c5b9d77e79710dbb3e0a3542480275787182ba8c3

Size: 4,373,688 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 53e46f95fa1d6f407c222f13d92b3e3b442e41ad
Size: 75,570,372 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 28a5f68015601bc1209301707bff3b77c05ae9d6
Size: 169,308 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: ea3a4ef8a9d98ce61193ab44d2115bb72a364812
Size: 145,080 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: ae1d6c303fe12355741f6a686e7681f72e259388
Size: 75,093,408 bytes

Submissions

Submitted
Wed, 16 May 2018 12:59:19 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


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