Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 7 Jul 2018 01:06:24 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 7 Jul 2018 03:22:00 +0000
SHA1 of .buildinfo
ebc2322bb9dd74eed582364dacc181a5129a0247

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 272994aafd9e186936b49cd53b08c43772d7f066
SHA256: 4d4dfb796a5bad09c36fab37008bd837675f0e5ed4e0aa956b2f51ea055f18e0

Size: 4,369,472 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: ad888466cdcf0d0838c323d3b61466fe591d48b7
SHA256: 0488cf0365dd4b491665e6f3b0347e7efbf22bb227bf707502a4156a00fcb657

Size: 40,924 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: 05aff9d1ad29d3dd42ae78a31ad0757cd7e228e2
SHA256: 04405b9222d64480ec8cc599675b59dec803e705d338ad14a90c4bebf0156ca3

Size: 28,892 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 45a6672c5900f59e993f0d6da62bdce2b436655b
SHA256: 855baa22c1eb8fdb696c5991f5eced67916794a390fe2890cd042ad2c5a5da60

Size: 499,676 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: 8ce86ce263b776579fa8babcbcabefb0482b531e
SHA256: 46141cebe02e1997f1948650c44d36bf6ed0c3910549c4d494b2ed6caa44bc08

Size: 4,376,636 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 40fdbc75a459b99e340cdacb168bfcdc132c6618
Size: 76,108,716 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 8ece89c930f6e875cac5ff43a3afe6100aedbc7f
Size: 169,288 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 6ae0083eca67aa14ac9c23a575931fa57db809ec
Size: 145,104 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: d34416e5980c87406a9da394152455ff3adf224e
Size: 75,329,332 bytes

Submissions

Submitted
Sat, 7 Jul 2018 03:22:01 +0000
Signed by
0x3ED2935763F0D6A2 odxu4c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"