Source
z3
Version
4.4.1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 17 Aug 2019 13:46:55 +0000
Build-Path
/build/z3-EKIsjC/z3-4.4.1

First submitted
Sat, 17 Aug 2019 19:46:30 +0000
SHA1 of .buildinfo
51340f07406a714fe6f733b88049b22322215f33

Binaries

libz3-4 (libz3-4_4.4.1-1_arm64.deb)
SHA1: 383c08649f7fdb69c3b3eafe2cd47aa4758417f3
SHA256: 825265add9d49ca8c4ef4ca9a51e11c19c13b76fb529aa0731358d4e9d873f20

Size: 4,554,072 bytes
libz3-cil (libz3-cil_4.4.1-1_arm64.deb)
SHA1: 940cdf05fd6a7cec8f3750803b477009c03b8708
SHA256: 09de70097746cbbf965e64ef6c3cd1471e38673ddc5f3e7ac0ed7293b3db4ad7

Size: 40,660 bytes
libz3-dev (libz3-dev_4.4.1-1_arm64.deb)
SHA1: a3b3616078dfed4a2b0d97b73621220ad4328901
SHA256: f18590403eb3fc9c639c31247a06efb6224f83c4fff7a46e60e2981e5d7e115f

Size: 79,588 bytes
libz3-java (libz3-java_4.4.1-1_arm64.deb)
SHA1: 3df9c079c92c9388d67bf08655fdafdb4c31564e
SHA256: 6687841eaa1f2adc3efc87117a705377018594257f43fc60f28d39860c1e2ece

Size: 146,388 bytes
libz3-jni (libz3-jni_4.4.1-1_arm64.deb)
SHA1: a6bb6a3c9710a9df2115535f30d8a2e5d8d771e5
SHA256: 49a8013023abed777987a05c79997f97d1788b21fd9cf0cd4ca2ada44756b3a9

Size: 29,672 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1_arm64.deb)
SHA1: da4765afb7caaf1e35818d844c9d64e0c6f21a88
SHA256: d60bb027534c443574d817dc153162789e3e8e8064280d9c9403e149d2cd9469

Size: 523,360 bytes
python-z3 (python-z3_4.4.1-1_arm64.deb)
SHA1: d45da56be474ea9e72373d4c9aaad936c8a4b5d8
SHA256: dbdd5d23b1ed927d3c9e54718a1d4b490254f2f2615444ed8fd27810e4391b05

Size: 66,992 bytes
z3 (z3_4.4.1-1_arm64.deb)
SHA1: 4b1221b5ac060b2477acbe977ae2a12359da1dff
SHA256: 49b8348ae6bf5f17eb4957322a8c61bf7ccbc033883fd29132e96a29758ad176

Size: 4,561,776 bytes

Other checksums

z3-dbgsym_4.4.1-1_arm64.deb
SHA1: c06bbbefd2de5e04866bc308e079840380480e4a
Size: 97,059,128 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1_arm64.deb
SHA1: 089732620943307205f4d3cfb9699a62cd274d15
Size: 204,588 bytes
libz3-jni-dbgsym_4.4.1-1_arm64.deb
SHA1: a1dc426a8ec9105aa35d7c3b14107c2a47c5dca0
Size: 170,144 bytes
libz3-4-dbgsym_4.4.1-1_arm64.deb
SHA1: 06aeb19d7f81c4ed6a54b1b0e465485773fb7892
Size: 96,458,980 bytes

Submissions

Submitted
Sat, 17 Aug 2019 19:46:31 +0000
Signed by
0x2052CFAF653F2630

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566032753"