Source
z3
Version
4.8.7-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 Jan 2020 17:41:44 +0000
Build-Path
/build/z3-f7nDg7/z3-4.8.7

First submitted
Sun, 12 Jan 2020 19:18:10 +0000
SHA1 of .buildinfo
fc270209b3568fd933ebd200965a2689d53c5429

Binaries

libz3-4 (libz3-4_4.8.7-3_arm64.deb)
SHA1: a6525e9aa2fbcf5cc826d521be2317f52ae82383
SHA256: 1f11f1ef95cf143f96595021f11e17cb588143054fd4b333b1fad15f51c1c8ca

Size: 5,891,192 bytes
libz3-dev (libz3-dev_4.8.7-3_arm64.deb)
SHA1: 723b482a5df9ac40ea1bb153a95514c711803dad
SHA256: b2bfd521c112cf861194929ee218af743e2b6e0504fda3e3ebe4a32c9da74977

Size: 87,240 bytes
libz3-java (libz3-java_4.8.7-3_arm64.deb)
SHA1: dd3ef8e85d07c23155e5a35ea675cba701700780
SHA256: 63937cf43d94a20041924bec0fbf2057bfff5816b6769faa3fc9d9289eaf7207

Size: 153,740 bytes
libz3-jni (libz3-jni_4.8.7-3_arm64.deb)
SHA1: 79c21be6aa3adf65cde3dbd99a8a15fa6f51485d
SHA256: 263661ea4baeff187724945162ec4e4096c4cee30120624bc0e141520ba45908

Size: 30,736 bytes
python3-z3 (python3-z3_4.8.7-3_arm64.deb)
SHA1: ad82131ed6ae83e84ff7a07acd7df360552c7be7
SHA256: 40d31ee1c6102d9a0ad252b488196ee7edbb0bb8b73690908231b1659ac7c99a

Size: 76,532 bytes
z3 (z3_4.8.7-3_arm64.deb)
SHA1: f626d0a7b3dc5d79f74716db6dd1ef778eae5567
SHA256: dfba74f32cd9c44bbd85ee76d14949b5fb85aeeeb07c852f1bc625efd0346f61

Size: 5,891,720 bytes

Other checksums

z3-dbgsym_4.8.7-3_arm64.deb
SHA1: a97d65f6b2df40d3da50c4c9af32014c21143246
Size: 114,796,612 bytes
libz3-jni-dbgsym_4.8.7-3_arm64.deb
SHA1: 588b249b4571bbb584082175735f4b82f201d441
Size: 177,548 bytes
libz3-4-dbgsym_4.8.7-3_arm64.deb
SHA1: bc814e33eeb03fef9d80df58e1851a1376c3afb6
Size: 113,464,116 bytes

Submissions

Submitted
Sun, 12 Jan 2020 19:18:11 +0000
Signed by
0x471BF63F613D0497

Environment


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