Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 14 Dec 2017 19:15:13 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Thu, 14 Dec 2017 21:27:34 +0000
SHA1 of .buildinfo
6105a23f78b7aaa924fe5431381cd08e30091153

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: d0457ca96c881c50a30d50cb5e91cff81177a6e4
SHA256: f79f8418e93b3cc95d0df306a9a7bb3d218175a8616fad6bcf1cb5ea40c9e757

Size: 4,368,024 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: ab6cdd5b5bb19ae7f8d8aa04eea9795f8ba31909
SHA256: 79ac1c6c82dfe54236d9122ab58d16f29f5adf7c1d9d7501e5c379f853973a2c

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: 470a262e26a671468bdae586d9de08ba53ce7149
SHA256: d6c5409587bf8f28b18fa3869eb44f4ba1d93318d92c005fd6fb9d2f59dc4513

Size: 28,904 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 3e426465dabbd3e62cf4829b3f7735183e171a1f
SHA256: b8898c76496571f054d624e6165d72223e0d43a48e498ce230b9914ff9936803

Size: 498,340 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: 5f9fe9666adc45558818613839ab0e21e4a63b30
SHA256: a5e49281d67a83fe9c5d9e5084a6bb305f346b993e050daa84d7ae1f4653d825

Size: 4,375,528 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 6a398cbde695f37008b95e42be78b5a5574cb643
Size: 75,244,208 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 8e34edf16df95b17cb3758f5f2790b6333711e1c
Size: 169,712 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f038044b9b9c41c919c10b1f882b1c7519f7a474
Size: 145,408 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a91a160c38a4680571ba521f9cd8ae502a75d16b
Size: 74,562,128 bytes

Submissions

Submitted
Thu, 14 Dec 2017 21:27:34 +0000
Signed by
0xF7F2097D55C669EF bbx15 (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=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"