Source
z3
Version
4.8.7-4
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 13 Jan 2020 22:07:40 +0000
Build-Path
/build/z3-4.8.7

First submitted
Tue, 14 Jan 2020 01:17:59 +0000
SHA1 of .buildinfo
9b94a8392f2f4961c4e94cf6f10126d7d6a69106

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: f8cba46b49b442258e7d62b33695eebf8510d5b0
SHA256: 55cd93550b3f12b72fd61f85133a4118fd1c16e8b7cea44eb8e63874465dbeaf

Size: 6,791,608 bytes
libz3-dev (libz3-dev_4.8.7-4_amd64.deb)
SHA1: 651416727dcfe43e67854f2bf9304278415b0428
SHA256: 378ff72b7f1b318c52ff387c83f6b6393145394b5a0996f0fcf3608b24ab7ae0

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_amd64.deb)
SHA1: 6095af03a39bb5bf2e0d17e20b8b6fc747e2c9b6
SHA256: bf90e1dfb365d2b21ab155ae6db05b804c73a43977ac39bf8ca5ff80a015d365

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: 6eec44a836b9c7ee2a1853e37eaaa1c6c8e3e218
SHA256: 69b0b427047e8468797b1417165d26426e807df9da0d0dff293c8bc9ecdb5a9c

Size: 32,576 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: f5af2628bdb898e195b114c3b1dd421fb0f78158
SHA256: 255f728fc3c3480e8009f5b9a99ba740d2b4ffb845372638652ad6af2465fb8c

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: 5b23030c60aad345bf13b750d5178c2c34399854
SHA256: 06613d13e419544400b1ebb8783560d20434653ffafe499a23347036cb65b4eb

Size: 6,801,664 bytes

Other checksums

z3_4.8.7-4.dsc
SHA1: fda15b4cb8c96fc05bae9815c1b9172b27f6b5a5
Size: 2,545 bytes
z3-dbgsym_4.8.7-4_amd64.deb
SHA1: a2ec2f0d802358372e2709766682c7210326e703
Size: 117,896,360 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 19ce4bfa49d8b162ad028048ac36d76aa459e6a6
Size: 179,044 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 615fc0186d2e9a1e454966ba0df938f941380590
Size: 116,558,280 bytes

Submissions

Submitted
Tue, 14 Jan 2020 01:18:00 +0000
Signed by
0x8A5388B64D692B49 Fabian Wolff <fabi.wolff@arcor.de>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"