Source
z3
Version
4.8.12-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 25 Oct 2022 15:33:52 +0000
Build-Path
/build/z3-4.8.12

First submitted
Wed, 22 Sep 2021 09:11:56 +0000
SHA1 of .buildinfo
9f661735f463a2df4262c5e297a4d33d68d077c7

Binaries

libz3-4 (libz3-4_4.8.12-1_amd64.deb)
SHA1: 9d39f47457c39020a7892ae4d461a0bbf53ca61e
SHA256: df90a6e185ce3471d1d26eafdcf15cd680cbe09ce482c6216987241ff64963e7

Size: 6,996,308 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_amd64.deb)
SHA1: 6154005f1648a631d58a25a02c5c93c688799e2a
SHA256: 2ec767750e9af85bf43092f19e99ba9a3976be2e8175fde49732aab439fa54e0

Size: 142,807,360 bytes
libz3-dev (libz3-dev_4.8.12-1_amd64.deb)
SHA1: 4a9e6b9d22b7df2ec1a3494226f4b1f193ff43be
SHA256: 485ccb95d3e72f0177e37296809a84046f100a769d528e7787d1edf139b3746c

Size: 91,860 bytes
libz3-java (libz3-java_4.8.12-1_amd64.deb)
SHA1: 7f3e805c540dfdfa7802c9f9b704cdf12d8337a8
SHA256: 0d34a1c8e243abfb4eeafa76e958a22e49facbb0f5edca12ac7273b99f95b4d5

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_amd64.deb)
SHA1: b32f0962948a240541a4f9e45020cfd2bf60a24c
SHA256: d6ee3dd8d8d882ef9fc6ae93f4671945e9847a08e0b3c843bbe8e1343c1f8f51

Size: 32,984 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_amd64.deb)
SHA1: 260518e20d8e4f19a4ef8f6abe7a7e3a5d2f4f67
SHA256: 859c5ba93dc29590b6c6838f168ade489e093a5c80e172a8d6d59b7e25f15ead

Size: 179,728 bytes
python3-z3 (python3-z3_4.8.12-1_amd64.deb)
SHA1: 543c575e97e0a60133674cc2b1c5e0d2b04aab81
SHA256: fcdf515ed83b0807fd3c5abb82137c636aaa28bee51107b307488bf388e091e6

Size: 78,336 bytes
z3 (z3_4.8.12-1_amd64.deb)
SHA1: 11452a58c9545f985f96e15edfe9e936a661a008
SHA256: 0381456dbb2d7e409ba1bbcfcedc165e6406443ea12bd35c2501ffe04eb9d0d4

Size: 7,011,476 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_amd64.deb)
SHA1: e098b3b2c5c0af8fa1787dbc3357c558ee04ca0b
SHA256: e742ef4822d8aa720ce8fe027b681c240dba3889240c2f0d451de46334d967ef

Size: 144,531,100 bytes

Other checksums

Submissions

Submitted
Wed, 22 Sep 2021 09:11:57 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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="1631375903"