Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 21 Jul 2017 18:15:41 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Fri, 21 Jul 2017 18:16:26 +0000
SHA1 of .buildinfo
54b319cb7d925378c32c15f7d11e012b2fe64a7a

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 6e574c496710b59e2b7e3949da7f11aad03867e0
SHA256: 959f0664915e999e2a1247a75ce1598512575930658f895685055f8c99754367

Size: 4,411,864 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 852f41f09d702afd5802d86d9fa7915b8b2cab3f
SHA256: 95a17dda857a580abd2d17a3a7c0362627cd2b29ca51bac5e2989219e645ef52

Size: 40,604 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: a7b14464406f7669889e00adb65afe8f3783398b
SHA256: 4b2c6454ca8155436b6c98c9c046f7a0b28d53496d9af5be28450174be14d5c5

Size: 79,168 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: acc3abcb09b9c9c90ba578f9f70d2600058f0363
SHA256: 7e3a204c91bdf0eb6372f9cee40f36313587ae099d66333b3a909db6678dac45

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 3fa0f7b40aee94a9149e96f282ea5f5059cc96dd
SHA256: 627b20259ce262340eee25d58c986de183ab2a3c838533e90358b9ea84975d5c

Size: 29,802 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 0c7e89e2560cee2244e2ab70ce636bb16049d022
SHA256: 654552718ac1ecdc7e9fd6a079648155d4d5f57aa38176f4d8eabee2c40af9a2

Size: 458,450 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 5534652f2c48e3671b497ebae7af934a504e17cb
SHA256: 13c894c565c199cf3e5097844dbfb914ded401eac21f6c06fcdecaaf5b21c991

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: d7945cc127988a319e00a87d2e8028328fc32de5
SHA256: 1d6101897c648e4af752e314d401762a9a2b193d1ca3a0a5172b94ae073d25b0

Size: 4,418,682 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 5b20c957d32b2f227442938a6176f30c068e9df2
Size: 76,346,978 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 7a6b60d2924420d27dd6187b62175bbcb77d47e0
Size: 186,528 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 5574a2b723143b64da3094463843a79148ee755d
Size: 140,030 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 240b832530176370d948c4fce7013d6adea4bef9
Size: 75,839,426 bytes

Submissions

Submitted
Fri, 21 Jul 2017 18:16:26 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/z3-4.4.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"