Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 30 Dec 2018 22:20:09 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 27 Nov 2017 18:27:23 +0000
SHA1 of .buildinfo
efc2e0dd8913c8302b3de2502576a7d776c041d0

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 56b35cb9c5e9353417ebe6757353708ec2c4dd8d
SHA256: 064a1e773eb6132e36d872937a6242c87b4b599cea0447ff064df85e545ea151

Size: 4,734,152 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 09b84cb170e1198fcd6106aea8ab9d4faaab7736
SHA256: 01b6dbbe9d9a117e2110bf4bad65323644984e134a02eef8795cabfee04b12f9

Size: 40,688 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: ec694fa86d5da892861522f22e3dfb9165066e3c
SHA256: a2fce585b238854e196a00f7ed047e4689c24c1cc4c1092e857f9e8515b5e06d

Size: 79,244 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: 10ad0b1ffa0cd72ab831624f300794883aadcde6
SHA256: d1702cf9966d9a258e334accfcf41227a72d91efd82cbcd6107e88bb7b11fa41

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 658f63975b62a8cb85996017d668b5211b106918
SHA256: ecb283d209d28e89928c0ccc9fa4b642467c4a24d1864f4d8cbe446cfdf68d4e

Size: 30,092 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 056912368df2501f438870f5905c250634fa029a
SHA256: 456fe283fb25b4c235548b8ec574d5cceac21e224e0ef624c99c12d14b07a689

Size: 455,340 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 78e9d4e5c3fadd79b154617ffb9f477b84423bb3
SHA256: 7fdc40474113e6ae5db7c10cb52c5d97657aaa1b61f818ce4b60f481192b12f2

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: 95d063a45e01476fd700a5567264c69661fe49aa
SHA256: d51874ac7542151877c72a85ad98cacfee87e84a9255450a7f0266ed607efdcd

Size: 4,742,328 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: b6f04951269587227abbd4e56a967933dca82c73
Size: 76,679,088 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 12bb5b0b1a0d2d20e8a0dcd7d9e214f34836c0bf
Size: 188,596 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a1626aebba241f4535a138bd5fe4561f7c812b99
Size: 139,712 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 26428baeddb78c61cefaab095949b421325b98c0
Size: 76,179,340 bytes

Submissions

Submitted
Mon, 27 Nov 2017 18:27:25 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"