Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 29 Feb 2020 17:05:50 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Sat, 29 Feb 2020 18:33:04 +0000
SHA1 of .buildinfo
bea4ed14fcfc04c69ee48e253e8ccb5fe20c1e18

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: c74a2d500545f6105193121a9890c70bd95fc831
SHA256: e3663818b9ec814c9276b0dac6032a5039f8bd2d8a7afa0068ee8fcdb586e37e

Size: 5,890,116 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: 977d0e20e995fa7106c7deb29e75701db2fc2d97
SHA256: 241bd75cd2af5a20a5257b8428afb5cf5c54f23b94e6d215df61c77348c2ae3d

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_arm64.deb)
SHA1: 85cc365017dadec40193d3488c715791c2415f79
SHA256: 51b74c398dbbf53e03965469013f3cd765ecc39c51ff872be24b9b9fe45fd531

Size: 30,792 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: 1e03cddf4d3124aa7181ed8a9bec1da28ea71dd3
SHA256: 1e65569c19945c0e7928a23ac86afbc05c5fd7d57125c9df78e7e511c6e6044f

Size: 5,890,688 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: f9d26a81d7a092389a47ae82fcca8d13e34adba4
Size: 114,805,400 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: 0017d1d4bc13cc82df008b9c69c6191304f3094c
Size: 177,544 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: 6f64785b2c0d4faecbb36fddbe1b0f57c9debca8
Size: 113,474,044 bytes

Submissions

Submitted
Sat, 29 Feb 2020 18:33:04 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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