Source
z3
Version
4.4.1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 19 Sep 2020 14:51:20 +0000
Build-Path
/build/2/z3-4.4.1/2nd

First submitted
Sun, 18 Aug 2019 13:26:44 +0000
SHA1 of .buildinfo
65c7e35fe51390baab315e4ea315259b3c9e85a2

Binaries

libz3-4 (libz3-4_4.4.1-1_arm64.deb)
SHA1: bf2be823dc887e3364583676f53056a7d7266889
SHA256: 9b60255b6780ef30cab119f1fc048fdf455140669bbdf3c884ceb071d268fc82

Size: 4,616,960 bytes
libz3-cil (libz3-cil_4.4.1-1_arm64.deb)
SHA1: ffd50363450098dde37da811aa45b1b0ec8b9240
SHA256: c1016b1de884c8a454c953ad808f81a629a71500d83c05d197849360c60e326c

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: 6c144f20a1734f357a3f2109e944fc28fd3df616
SHA256: 3eb72bb787e35e48829d20d33a2c37fbb911516f8ca88aa0d0d24fddee76a020

Size: 29,560 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1_arm64.deb)
SHA1: e461e25aaf9ffcbee8834de219944c5a7e71c09e
SHA256: 8b090d721257ea7663a9454567fb6e36bfc90aeac497bbc56c9822b35a55bb0e

Size: 528,176 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: 4fc7d2c34192ce6000fb3edb53caaeb1db3e8409
SHA256: ccc87f6efae9c4e83d67a46116063b510102c9b1c6b53a2cd92f26c8197379c8

Size: 4,625,952 bytes

Other checksums

z3-dbgsym_4.4.1-1_arm64.deb
SHA1: ccc99b923635cf80009096ec825c002e412babf8
Size: 99,129,424 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1_arm64.deb
SHA1: c5841a7d6cf654c8ff54b1c1b46428e5f4335fe7
Size: 213,980 bytes
libz3-jni-dbgsym_4.4.1-1_arm64.deb
SHA1: 34823565569d8031d84075558592d85ac8212f56
Size: 169,264 bytes
libz3-4-dbgsym_4.4.1-1_arm64.deb
SHA1: ee3c7d6aae7f669a765dfb7830994cdc6ff07bad
Size: 98,527,772 bytes

Submissions

Submitted
Sun, 18 Aug 2019 13:26:45 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1566032753"