Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 8 May 2020 15:05:31 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 6 Apr 2019 11:57:08 +0000
SHA1 of .buildinfo
096e4105d7977be2e00843a65c07d968d8ed6289

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 1cb31ead1efddf66e829f6b731418c270c9732a6
SHA256: 82a0f2c5471286b2837cbc221e02451e8f0a158dbcf775c72cf26ddfd5e7e58e

Size: 4,559,892 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: 495de2009cdda4634d73dd4f839feb6f47d8f56e
SHA256: 46f9ba7e109a036a6ed4fa6a5e6a04771b6a42925f4d57b48183f435b65ea1b1

Size: 40,660 bytes
libz3-dev (libz3-dev_4.4.1-0.4_arm64.deb)
SHA1: 3254fbafbb427e78096d3490f66b0b867c38681b
SHA256: a5422451643d5bdedc17f8361b6e3ab63e05a689398a43dc1a0e73a5ff5650d4

Size: 79,352 bytes
libz3-java (libz3-java_4.4.1-0.4_arm64.deb)
SHA1: 9f4bc3dc448b6d1b743a6897a4d4d18d5a0b350d
SHA256: 54a4617a2ac954f7198ab7174afb74fecc5bdcd049b0521c8616188ba9fd4147

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_arm64.deb)
SHA1: d02d1d373703062f5668247ad74c1271226f0975
SHA256: bde4a7ef3655335d7595576cd299908f1989162c379b7c0a6e4b63fc151b758a

Size: 29,764 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: b11fab4081dbcc5eef7aca69e76621a87062f3c1
SHA256: f85f0ae18ee3ebbda6b9dd88a2807d7cfffbcc9ff1a8a622f86106fc40dd4d24

Size: 523,776 bytes
python-z3 (python-z3_4.4.1-0.4_arm64.deb)
SHA1: 9bab827455d3557361ef16b01d8d61dda7033bb3
SHA256: a6a6e74f600adca7e56966193b119886a6f617a035cb5ab57b9d2a19205ff01f

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_arm64.deb)
SHA1: 0605014c0c79029af2b24bf68809ce751d605a10
SHA256: f279072b10876012d43d4d06bd5d6c9bc7e3c0d5a2cf8caefe89582245d8f9fe

Size: 4,565,840 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: fe08f6cf8ab9e1718289467123f7aa971c281b6f
Size: 97,104,028 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: c4757386fdd0d60970a03fb1b40acacb457e8f4f
Size: 204,568 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: b6382c8624805ecc42a7649ffa50e2d8cd1ef8d5
Size: 170,164 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: f466b5216bd8b051dc4037b05bc2a9b72558fdf5
Size: 96,524,872 bytes

Submissions

Submitted
Sat, 6 Apr 2019 11:57:09 +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="1536521312"