Source
z3
Version
4.4.1-0.5~exp1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 11 Sep 2020 18:27:44 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sat, 10 Aug 2019 14:21:08 +0000
SHA1 of .buildinfo
75f069435f88fcbc970cfa06e306e32a2278d971

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_arm64.deb)
SHA1: 865c34b7751aaa35e59d7d2946627c7a1d423cd4
SHA256: 28c67a57f936cfc027aab53686193fcfa2edc75cca041147bb83b6fdbdcb6e58

Size: 4,554,624 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_arm64.deb)
SHA1: 30969657d9fc9eab78e588e0dfc0fe9bbd03aabc
SHA256: e74da8092da7468d649885881b78700f4fb69ef6667740e8bdf019e66876aecc

Size: 40,608 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_arm64.deb)
SHA1: b2a5e760b349a31c6eca5bf6e77b405e22c07cbd
SHA256: 1cc8d005dc6c59e205704986c1c8b1d58fdb8f3a485ef5aa16ebd7cb3020e367

Size: 79,524 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_arm64.deb)
SHA1: f7ca1346f92efa9c77fe38407fe0604472a8e328
SHA256: 41ac51b6774b0d7555ca20d25ae56995a6f250ad34ad346f4d3beb036c84c5d7

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_arm64.deb)
SHA1: 25385b19479d7e0cad5e63cc103e40eef37f8da3
SHA256: 36ac85d63f8532bbc093163a627c8d22fef6a3e5c84294e0d37dd30e04ae5d26

Size: 29,856 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_arm64.deb)
SHA1: b2f22acbaf9883dbc1fe373b5dbb6ef570679381
SHA256: de858a03b8e5ef4c1c50a2831a19518f99665772f926d1d9ae10c0288f050d0f

Size: 518,644 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_arm64.deb)
SHA1: 455386fbd894109ed1c43ce67b9140a9a80877a4
SHA256: 53143dc27c8f0216ae45a52269c3b59c02cb82d0097e006c88f4c1f48fd2f396

Size: 67,028 bytes
z3 (z3_4.4.1-0.5~exp1_arm64.deb)
SHA1: 11e519da66dcdc2669e7ab39404ca81dc886cd52
SHA256: f13585936f0119292976f2b07b3c5f300dc2a92564f0fd0c698951b6203e75ab

Size: 4,561,116 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 266e44acf054a39a4420dd8903e8b174f2e32522
Size: 97,059,128 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 6135b9bb0c1a7ae359b61e8c43f2c33066733da8
Size: 204,504 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: e6c7cf88ffed2c0d91e0385a7c7ead86e060e591
Size: 170,100 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: b380194cfa1583dbac39ccd49185877f4c5815e2
Size: 96,459,000 bytes

Submissions

Submitted
Sat, 10 Aug 2019 14:21:09 +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="1555417831"