Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Mar 2020 13:31:33 +0000
Build-Path
/build/2/z3-4.8.7/2nd

First submitted
Mon, 9 Mar 2020 13:38:51 +0000
SHA1 of .buildinfo
5a928c0a14c62903f08d0db4658f0d792d80d46b

Binaries

libz3-4 (libz3-4_4.8.7-4_armhf.deb)
SHA1: 0f902f87aeb2c5225c21d416524cb6d58167d93f
SHA256: 497332a7f72fe96245051d77acf6e901db574a1e6657fbc73ca566b31b37512c

Size: 5,808,708 bytes
libz3-dev (libz3-dev_4.8.7-4_armhf.deb)
SHA1: c7f1baad1d827604f6b58407d3c10aa1497a6b55
SHA256: 2f8986e155430017258f938bc64a14d680279d140e24b74dde0b4914e41094a0

Size: 87,316 bytes
libz3-java (libz3-java_4.8.7-4_armhf.deb)
SHA1: 4e35dfd7cb4b67e6e66d45d56508e1866e076bff
SHA256: 56f5b499bd3090820c560c92ea4f58bd9d46c415f99c28c25c88792392f725cb

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_armhf.deb)
SHA1: 16ac93ec0625ce967b82a0d67ae3eb233d8e6a73
SHA256: 16a4a93d03984892b93327fcac2f82b39a263c9224a23351aa75a782f393a894

Size: 30,068 bytes
python3-z3 (python3-z3_4.8.7-4_armhf.deb)
SHA1: 49e9a4a1e90d705580e200a047fad86f1e90dc69
SHA256: 8a93308851cc39624cab537569f72fdfd18357605ca9e0a93b416617fcecba86

Size: 76,520 bytes
z3 (z3_4.8.7-4_armhf.deb)
SHA1: 646dd568a2314a72084db0428a7591a2b17bc747
SHA256: c859d04ff31d0f9867c0d29d6299ad61b812bf0a4195c4c08cca65654eafef2f

Size: 5,815,300 bytes

Other checksums

z3-dbgsym_4.8.7-4_armhf.deb
SHA1: 29553b55b377bd69fa26e5228ebeb92689725741
Size: 108,091,872 bytes
libz3-jni-dbgsym_4.8.7-4_armhf.deb
SHA1: 37d7689262328827ff78c483e400ceaf262e52f1
Size: 185,880 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: 3523e76db28c23ef19518a835953b44a1ef7d0a2
Size: 106,788,440 bytes

Submissions

Submitted
Mon, 9 Mar 2020 13:38:52 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


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