Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 17 Jan 2020 11:49:26 +0000
Build-Path
/build/z3-4.8.7

First submitted
Fri, 17 Jan 2020 11:50:40 +0000
SHA1 of .buildinfo
b6f5a1c49f8a32551cb5aefc667b8b8ac2c2b4dc

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: 2418ddb5a1e1f6e9486c5acb17edbdcfdbb7169b
SHA256: 6ac2efbbe7189e6d67eef2fbb8d648a864dd5f6beaed0181e1cad17a2d55a3ab

Size: 5,891,272 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: 51afaca6d70258506b1edcba4508e0259699cfbb
SHA256: a5c41febe2bdac3713c22c04e3db8fd7bb90c7bd316a114ae5b49694e065982f

Size: 30,892 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: d1141e96af5c82af52c3b6ed0b4b3309fcece579
SHA256: 01e1fb2919072beaed6958b9d569d7ddf5cbe6a15fef8348a69eb6d50206ad31

Size: 5,892,748 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: ba1373be9826a0c9926d35022906eb46f02e09a3
Size: 114,797,284 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: a20b43bd1879ae6d38f4bc93fd2d23762bc0c64d
Size: 177,612 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: 5987615a81dfbed38d0477295a4a0ba6770fedf1
Size: 113,463,884 bytes

Submissions

Submitted
Fri, 17 Jan 2020 11:50:41 +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"