Source
z3
Version
4.8.7-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 11 Dec 2019 15:14:53 +0000
Build-Path
/build/z3-4.8.7

First submitted
Wed, 11 Dec 2019 17:22:19 +0000
SHA1 of .buildinfo
ded307f569c078cd7a7f03cfda66d3c69f0e82f6

Binaries

libz3-4 (libz3-4_4.8.7-2_armhf.deb)
SHA1: 280449f41f343fcc922f5a52356301d9bd5b44d8
SHA256: 3cdadd0d031def59bf86194c6cb0bd59777026669971a4761f3642f1ca01d6a8

Size: 5,875,892 bytes
libz3-dev (libz3-dev_4.8.7-2_armhf.deb)
SHA1: 766a41924da079b70f91aebfb32a7ba238c6e335
SHA256: d9f93ff2d9a900072182ac542eb1ae6af9efce7d50f5d4ef898582e93283c032

Size: 86,748 bytes
libz3-java (libz3-java_4.8.7-2_armhf.deb)
SHA1: 95cc64264b832197a7e8e6fb8319366cd402b003
SHA256: 901931937d00e7b51f7536b209733d945e7e9db64165dd88711d3db7a2f753d5

Size: 153,776 bytes
libz3-jni (libz3-jni_4.8.7-2_armhf.deb)
SHA1: d6d92b08231ac0d7332277b9f866990934e597f0
SHA256: 80db9643b7274757b6ba27fa29bb5475172ad3b5f746303829e82ea77e55876b

Size: 30,008 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_armhf.deb)
SHA1: 76b2d974ee7c1edf82d039d25f4cd7747df28d7d
SHA256: ab3877fe1f40496b0f8ac0c1a406923a0835a68f645c8f76a7a81d3a02f3e0ae

Size: 586,536 bytes
python3-z3 (python3-z3_4.8.7-2_armhf.deb)
SHA1: 25f3394fd03a49e1b763028d07765608e0728e87
SHA256: 6dc2752a51f061668f47e8fe4b9058095ac21b679388c3e7e188cb5bac8f11c3

Size: 76,416 bytes
z3 (z3_4.8.7-2_armhf.deb)
SHA1: 61ca5e65d1564f4559dc9a54eed3193f5986dd75
SHA256: 96d181aea98b4a1cca525a6979bfcda4d3a924cfec2d8975cc802e48d7579223

Size: 5,989,876 bytes

Other checksums

z3-dbgsym_4.8.7-2_armhf.deb
SHA1: 99f1d46c24e23efb64f08d950df44a861e880124
Size: 101,322,992 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_armhf.deb
SHA1: cf9f74d93ce26d53443a7db070e5457ac745dcf9
Size: 364,624 bytes
libz3-jni-dbgsym_4.8.7-2_armhf.deb
SHA1: a3babefc366f6d07da7776d768b8293162e39101
Size: 185,764 bytes
libz3-4-dbgsym_4.8.7-2_armhf.deb
SHA1: 13f3b1fd4653553264c37099101d01a7e4863ed9
Size: 98,329,508 bytes

Submissions

Submitted
Wed, 11 Dec 2019 17:22:20 +0000
Signed by
0x3790BB94D873CF00 p64c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1575895178"