Source
z3
Version
4.8.7-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Dec 2019 14:50:22 +0000
Build-Path
/build/z3-o5huHm/z3-4.8.7

First submitted
Mon, 9 Dec 2019 18:40:58 +0000
SHA1 of .buildinfo
a2c446b2ea5ee769bc1edfe033b910d1d4228671

Binaries

libz3-4 (libz3-4_4.8.7-2_armhf.deb)
SHA1: de3ee3be253986dc212eb0ea02c65c07c5e2cd80
SHA256: 691c772421d650c7f99c90203328edc57ac2b9df88ece63fdb86ba4a054e88f8

Size: 5,873,684 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: 1732281ccc5d79a1eb75940e8bca3b3daf60adc2
SHA256: a2070c362bcc70c7b5238750ed94a2d30001407db014bbc2ffd105db8596bcf8

Size: 30,060 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_armhf.deb)
SHA1: 617f234b295279e0ec68af8dfd32e08732b3ecd7
SHA256: 004119453516f63a48748d577825f886fd71978e97fd99a2b7578769f9ac1fa5

Size: 584,592 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: b788abcfaa015be9c9c25dbe7e7aafe1c02fc2aa
SHA256: 8130f285ac8aa0dd005307159b4f1a4662d119d48f67a87d18c4bb414276852f

Size: 5,989,264 bytes

Other checksums

z3-dbgsym_4.8.7-2_armhf.deb
SHA1: 4f988d64926c373562c49d5d4339306c81b379f7
Size: 101,050,268 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_armhf.deb
SHA1: 9346b8d326a90aa966f47bf5ccbe858fc4410d3a
Size: 364,548 bytes
libz3-jni-dbgsym_4.8.7-2_armhf.deb
SHA1: f421b148ba009f44e7b6f96898c0dec5bda7a252
Size: 185,860 bytes
libz3-4-dbgsym_4.8.7-2_armhf.deb
SHA1: 704c5e7bb990f7c6dc421cbb9b19e59324c6a320
Size: 98,219,732 bytes

Submissions

Submitted
Mon, 9 Dec 2019 18:40:59 +0000
Signed by
0x8F4D2E75D3B4ABCE

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575895178"