Source
z3
Version
4.8.9-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 21 Sep 2020 11:12:37 +0000
Build-Path
/build/z3-rFwwDX/z3-4.8.9

First submitted
Mon, 21 Sep 2020 18:11:24 +0000
SHA1 of .buildinfo
2fba7a2bdc685d5b9165f1433c9c7ee67ddfe5ff

Binaries

libz3-4 (libz3-4_4.8.9-1_amd64.deb)
SHA1: fc36716074c8a0f70859a1e2f01f5b4ae82fd668
SHA256: a1ff43b8ac2ecc363c9691ab766d11168a9bfab21a6c1911201685161e02cabd

Size: 6,784,364 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_amd64.deb)
SHA1: 725d0f5692fd22efaa78b6cca444280be6510810
SHA256: 00582b8b938a2595065f4e2bcacb3cc04d75ff74c2af314471a79685615fdd68

Size: 130,288,384 bytes
libz3-dev (libz3-dev_4.8.9-1_amd64.deb)
SHA1: 290b0eda1401ec6fa6bc5b24e179911498abf213
SHA256: 10a917760f500dc558eed36ccec26f4784eae78a0091c05b8be863d5a4782508

Size: 90,756 bytes
libz3-java (libz3-java_4.8.9-1_amd64.deb)
SHA1: a4627f569ed1c98025ed4e25823af1bc78ef50f2
SHA256: 039537364c054871c87cda2d97e1c7f2386071d81331860503032b42532d4790

Size: 154,580 bytes
libz3-jni (libz3-jni_4.8.9-1_amd64.deb)
SHA1: f86bac363636b8de0d6e46ac2d80a2b0d151add1
SHA256: d7ff4315f0b024cd31b2fb3f7025e2144b1687278e07da36b7ee7f1b416bd44b

Size: 32,744 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_amd64.deb)
SHA1: 58932229899df5ffdb7753e243bb847c85c764ca
SHA256: db7a7bda98bdff7abb3f399e3016d9bde76d6cc16502a921a89c7cac161b4342

Size: 180,436 bytes
python3-z3 (python3-z3_4.8.9-1_amd64.deb)
SHA1: 944c3acc948a6328436b8e75c0b26a29787c756b
SHA256: 078a287ee56da245d99cf93b23a57607daa92584de26a42313d6d606d14e74eb

Size: 78,204 bytes
z3 (z3_4.8.9-1_amd64.deb)
SHA1: 5ebabb46869e6755f0483ed7f7557bd89e817668
SHA256: 4bfb0c40f10d0964b26bf5aad471f6005d9b685793ab56420f6d0a7db61cbbe0

Size: 6,798,492 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_amd64.deb)
SHA1: 1ef8e546a2d4b245cf5882ebec20bd26be349d3b
SHA256: f4e26feabca0037fb326fccc41903d6154dc46ae1126d203e0179ea664cec643

Size: 131,898,180 bytes

Other checksums

z3_4.8.9-1.dsc
SHA1: b44c9e2c70b1d275fd090b8de212f0165a976d54
Size: 2,638 bytes

Submissions

Submitted
Mon, 21 Sep 2020 18:11:25 +0000
Signed by
0x8A5388B64D692B49 Fabian Wolff <fabi.wolff@arcor.de>

Environment


DEB_BUILD_OPTIONS="parallel=5"
LANG="en_US.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1600685745"