Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 21 Oct 2018 11:25:56 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 21 Oct 2018 11:26:53 +0000
SHA1 of .buildinfo
f063c338fe6030fd16999a51ebd3a4dc23c55e20

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 6d07de6975f1620e3b9722b0ce156169ed3d1b5a
SHA256: 6ab89474529f1b29adbbb7bb084695c1b27c849a1ab680f8a39a68c9402f9273

Size: 4,521,184 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: 7bf39c3fe5385debaaf859241f01bdb1bfeb3475
SHA256: 6417f5d473a14864975836a1260a4b887563c93129b0204425d220717f8a3053

Size: 40,664 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: 2445dd961f47e5f0d12109a81ee89c9c74fb61c2
SHA256: 48042df4c3093b673c5b327f02817f90752202782a7932c738e8f93c34952adc

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_arm64.deb)
SHA1: 616ce48849323a085ab2ee2840df81a02309e63f
SHA256: e98b1bb877436d7ad4ad8ecb3f74b7caa53e15da55421957a20c77d82937dda3

Size: 29,524 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: 445745116b6c89e99187b9d1a0499e73959a692a
SHA256: 94063b90a6d5d6b64b4941ecb336b3d6334811f44f43ef85ff8f8b07c0de55e9

Size: 520,824 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: 58c6088b20b28a7e721c231579e5da805e4455a4
SHA256: adc0c1c8fecbcd588b7dc7f88ec4c69f441c190fa0c557b77322734ada24253b

Size: 4,528,820 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 9f708446ea1f016bec3af3b39674cba36f9ce65b
Size: 96,599,964 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 06c55c9f33ff2f3f240b774f000ec37aabc03999
Size: 204,288 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 40f99a6a25d6f07a09ba12fc943e6a7f4ab2a60e
Size: 170,256 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 56551eba6f4edd541e146ccc7440cc73313ec4bd
Size: 96,001,852 bytes

Submissions

Submitted
Sun, 21 Oct 2018 11:26:53 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"