Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 15 Jan 2020 12:42:17 +0000
Build-Path
/build/z3-3ufP9Z/z3-4.8.7

First submitted
Wed, 15 Jan 2020 18:27:40 +0000
SHA1 of .buildinfo
b2cfd5ce85a56a87e9b721783852ab5ba7dfdef9

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: 6c19d33f5d97a8e69969d0b98700395dcd4d5986
SHA256: ad5a15dc040d8eac2914ec45bcb593d535dfae971a4521e0548d672cd6d8f646

Size: 5,890,084 bytes
libz3-dev (libz3-dev_4.8.7-4_arm64.deb)
SHA1: 6398e91bc23f4625ce7567d44eb33e57f577df29
SHA256: 54d5bb33a4da6b3a690befe689c54734313fe4c158040e1363faf90fb3b99d79

Size: 87,308 bytes
libz3-java (libz3-java_4.8.7-4_arm64.deb)
SHA1: c42d3328d23bad55501880c5b0e4e5607109cf53
SHA256: 0962685d561d65d8dfc3740f045d1dd03ee730611f9e8ff197a2fce3035b4cc6

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_arm64.deb)
SHA1: 0a6203fd67117bd62cb2c94ac3a3a28c368b4b01
SHA256: e6533140bfa9f5cddb9dac1abbc47c5ee8658271a46346cb1e920397daaaaf13

Size: 31,068 bytes
python3-z3 (python3-z3_4.8.7-4_arm64.deb)
SHA1: ca6177a534203bc9b63f1e18d516c2dda5c1fee9
SHA256: ce81b4374d81df29facd7ce0b987ca0f61b77290a2472c0339003a5c2cd3c14d

Size: 76,520 bytes
z3 (z3_4.8.7-4_arm64.deb)
SHA1: 15805be42b3d5045e63d824bf3a770b48215713d
SHA256: bf4b23f051a0346b9b81c345cecabd9ff35dd3ba3fcd2cd2f48bcf967de7930d

Size: 5,892,048 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: c8ff3be82c551617bafc59d57acd24393ab6bc19
Size: 114,796,656 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: 18c22ed16eef9c595162237a49b47cab3c9ab3bc
Size: 177,596 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: 7b2c34777381af0e5cabf824e474af8abd8f8b3c
Size: 113,464,120 bytes

Submissions

Submitted
Wed, 15 Jan 2020 18:27:41 +0000
Signed by
0x471BF63F613D0497

Environment


DEB_BUILD_OPTIONS="parallel=16"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1578952552"