Source
z3
Version
4.8.8-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 6 Jun 2020 15:50:06 +0000
Build-Path
/build/z3-ImhFiF/z3-4.8.8

First submitted
Sat, 6 Jun 2020 18:15:35 +0000
SHA1 of .buildinfo
fcbb4a5c7dad8dc16bdb9d5d7aafad301cd02a11

Binaries

libz3-4 (libz3-4_4.8.8-1_amd64.deb)
SHA1: 5d504bedcd3226b10b68854dff64c4568fe0e496
SHA256: cc6eb23b8e371568c542c9d74feee7f5fa99ccb1805966b914a5fe6a6156b6a6

Size: 7,303,184 bytes
libz3-dev (libz3-dev_4.8.8-1_amd64.deb)
SHA1: 288cae58d430f93837ecb5cd1062abbe0ef9f265
SHA256: 00617f2012ddf8a0dc557683ee0068bfe624a5f803c54c3c2c8b902693e4511f

Size: 88,276 bytes
libz3-java (libz3-java_4.8.8-1_amd64.deb)
SHA1: 5b8947d0bd0b8d59e24e0650b9e379bee694c80b
SHA256: 5182a7d7059db21e0083647b293f0b3cfca89787b8ccc7ab0ddfa925029fbb15

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_amd64.deb)
SHA1: bd7e9f794ba0dd313ddb79d3edbf7e5b29d113c1
SHA256: 5c5c381635c160968976e8a263b336202d655cf73816ddadeecb20ac404454e9

Size: 32,528 bytes
python3-z3 (python3-z3_4.8.8-1_amd64.deb)
SHA1: f228489d9977a537571b97659f0ea555d5bb338a
SHA256: e698b035210b1273d8bb408d53ae88b208d2fbe3f86bbc2fcc59eb2b732b150e

Size: 76,708 bytes
z3 (z3_4.8.8-1_amd64.deb)
SHA1: 1446ecb20ff2078047e1b3a8a405d7babdff39f4
SHA256: ce55d358a624e0918fb45e428bff28b85ba626e6049766cf3169ff13ee1a8c8e

Size: 7,311,336 bytes

Other checksums

z3-dbgsym_4.8.8-1_amd64.deb
SHA1: 55e8fbc89eaee2577f90fb18272da70427879af7
Size: 128,342,088 bytes
libz3-jni-dbgsym_4.8.8-1_amd64.deb
SHA1: e4a4e90859ee6b395e8bae6e49c59b7998926f6e
Size: 179,572 bytes
libz3-4-dbgsym_4.8.8-1_amd64.deb
SHA1: 41e9fd5eccde581d369ad9fe1ceb7e8bcad946f9
Size: 126,954,652 bytes

Submissions

Submitted
Sat, 6 Jun 2020 18:15:35 +0000
Signed by
0x27D29D008F31F3CA

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1591453977"