Source
z3
Version
4.8.7-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 12 Jul 2021 06:35:18 +0000
Build-Path
/build/z3-4.8.7

First submitted
Tue, 9 Jun 2020 00:57:27 +0000
SHA1 of .buildinfo
341ec825c40038cc950161de1267e5c3d9f2a702

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: 426cd96173feb53363b68e0fb06dc0f170cf1c44
SHA256: 0558dc7886b67ec8c0451fa962187b14a82ce6df8116e2bfd73c3eff5f4c4dab

Size: 6,789,640 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: 71fda598b5d6ed321b83df9ef37d80973277a14c
SHA256: 03b4f55632a502ccc5010c7ef25616e3a8c43d04b7684e3197765ca89c8d5c24

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: 626cde7406db97da85750ec48cf31f9615c6b654
SHA256: b249c95454f7acc3e865103dc106a7e60838b020991f751d50ff686c17331aea

Size: 32,576 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: be8d09971b7066ebbc3d3cb7859c67c21f81ef08
SHA256: 5a7633fa6cd4695d94fdf9c03a33d7bc6a0cec045967c18ba786e39b3f6e5d6d

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: bbbfe31302dd959e7e1ab92441c48abcc5eb5487
SHA256: 9d682d90cdd3793726bc27b91511da47c34b4f1d0c17492e5cd24c96d74ddddc

Size: 6,799,996 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: bac12508bd22ea1098145cbd00f96e8313700fd9
Size: 117,911,932 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 62e0ed8e32fe2c59bb5dd4b90a05124b4d052065
Size: 178,932 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 0191bace8b9404904f283fb4b7283e1a071e047a
Size: 116,558,296 bytes

Submissions

Submitted
Tue, 9 Jun 2020 00:57:28 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"