Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 12 Jun 2018 22:59:55 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 13 Jun 2018 01:04:39 +0000
SHA1 of .buildinfo
458045e7f239708479a51e8c78f532d79813472f

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: af09d9a685518361b59aaa76173c4e5524a7803b
SHA256: c0f697c062beee1a71d7b0cd0ec443111e4f7be26217c860941020f5c8026364

Size: 4,368,608 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: a56a2336b35858960ea81739783acfc14a85738a
SHA256: 7fdbdfdf3119ad6765476f05b6b280e5b62d479b86d7263550e5ca933ed438ca

Size: 40,656 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: a5a5af1412b5b125f75ff699cdd6e8999df5e2ab
SHA256: cc072a085f7def83dc2728128329ffeb2ce249f51f1ea2593347ef9a8c0aae8d

Size: 28,892 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 00eb0b33dbceaaea872cf0deb1edc7ea0f7c3a38
SHA256: 60fc3ba56072cf6720dabd9190fefb6c428108f719ae385388018718f9150c52

Size: 501,040 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: 0e4b7349835d95bfd7acb8ff6fe900bf0fa84fd5
SHA256: f2ba86dd3beb7de0dd1b510981fa891d249636b2e2afa344f28696e40195c7b6

Size: 4,376,728 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 7c4629ea6abe0d64c5a4cd86b5717834f99078c1
Size: 76,047,712 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 1f50a21fcbd962e3d4d59bf46481d4903a8e7bc2
Size: 169,300 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 5d792e6938953c5fbce2c732c779466da8babec0
Size: 145,124 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: bbb335dc7ca608489a147e375d583a5553095f9b
Size: 75,192,340 bytes

Submissions

Submitted
Wed, 13 Jun 2018 01:04:40 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (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"