Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 22 Jan 2020 20:37:26 +0000
Build-Path
/build/z3-4.4.1

First submitted
Thu, 20 Dec 2018 14:15:20 +0000
SHA1 of .buildinfo
05437a2271d53dea890748dd68e9f278b683c9b4

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 9cfef2c25df202af51108a22441b25f053e4c45a
SHA256: f2eb05b16b8735a8f85e2aa3a82557c02177a536426ce7d019498e684132dfb7

Size: 4,520,856 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: ebc0e4f55d05f82263b3dd642cbe0397dd17b4ca
SHA256: db37d752522833dee42258b63df5b4a2382fd63bad878fb8e8aed2a4267def19

Size: 40,652 bytes
libz3-dev (libz3-dev_4.4.1-0.4_arm64.deb)
SHA1: 3254fbafbb427e78096d3490f66b0b867c38681b
SHA256: a5422451643d5bdedc17f8361b6e3ab63e05a689398a43dc1a0e73a5ff5650d4

Size: 79,352 bytes
libz3-java (libz3-java_4.4.1-0.4_arm64.deb)
SHA1: 9f4bc3dc448b6d1b743a6897a4d4d18d5a0b350d
SHA256: 54a4617a2ac954f7198ab7174afb74fecc5bdcd049b0521c8616188ba9fd4147

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_arm64.deb)
SHA1: 562bc7ae7c772c4cad82f822abe788fd0627fabe
SHA256: 7db87076b944ca1d9056134f0f10046951cd854c44bc8566bcdd9c38d4b90653

Size: 30,064 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: eb096620411a0cdb42194daad5f0c4c724395f1d
SHA256: 0dfe49536b71a4cc2cf5c9926bd6341f495cf0151a415fc798949b02e1dcb11b

Size: 516,472 bytes
python-z3 (python-z3_4.4.1-0.4_arm64.deb)
SHA1: 9bab827455d3557361ef16b01d8d61dda7033bb3
SHA256: a6a6e74f600adca7e56966193b119886a6f617a035cb5ab57b9d2a19205ff01f

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_arm64.deb)
SHA1: 674d825a5d4144575c67ad595bdadb1e02c31a6c
SHA256: c678cd3b11fd53f52d64f85ea9282bc013063c955dd5a6f0f44941b8d1a36bcf

Size: 4,528,468 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: d35ab328835177a3c20e54a930697185f2672ec8
Size: 96,844,136 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 35208df74f74d740c702e5432335a44f24f30f20
Size: 204,236 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 8f930b4cdf5a634afd9d81798cedd0a2226edce1
Size: 170,136 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 4afa6d15a35980194af989ae9783f86ca841c4bd
Size: 96,257,508 bytes

Submissions

Submitted
Thu, 20 Dec 2018 14:15:20 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1536521312"