Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 6 Jun 2018 03:51:46 +0000
Build-Path
/build/z3-4.4.1

First submitted
Wed, 6 Jun 2018 07:14:06 +0000
SHA1 of .buildinfo
249252fa66427103eb8ce3502804ba5c39316202

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 28ed7c00234fb01934e3c0c7ce395203f074d3b5
SHA256: 256eb0ac97d223420d7fef613a02d94062567e3e74319a09412ad90bc8da9ff8

Size: 4,369,204 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 4815630917523a43ee6391e4bd713b7889017689
SHA256: ff7addff3396cc1dbac04fffd2849833baae044f3929b9a367dab2f4564f5705

Size: 40,792 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: f7b6e1ea2745a235f731a813777ed4bcba55741b
SHA256: 316bebea159d0aa2b354e8e8e9783c493c3581facd70269fc9ee0a68476ac0d1

Size: 28,892 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 575ecd411fd835b351cdc318556b9714ed1cd334
SHA256: 9841e5a92c3b575ea221e5532b0371a5c07def782079c009a128969995bc9546

Size: 499,536 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: 86f41c1e1a8ab483045fbcdae1e69d82a3ccf859
SHA256: f4ab6a3f7d025214cea19e7e1685236ae808847f01cfe0fe8a0cdf4b51725737

Size: 4,374,728 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 5a5574c104e8574e17ea11fddb052c098e088c5a
Size: 76,136,576 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 4354aa42b8f147413169e9aa062a237cd4e59724
Size: 169,424 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 0bb5988820642f2f10d3562fd0c101baca0c1ba0
Size: 144,976 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 68568cbc54139bb768fdb090c3fcd2bf83d01430
Size: 75,142,360 bytes

Submissions

Submitted
Wed, 6 Jun 2018 07:14:07 +0000
Signed by
0x3790BB94D873CF00 p64c (Automatically generated key for signing .buildinfo files)

Environment


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