Source
z3
Version
4.8.4-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 11 Sep 2019 16:36:27 +0000
Build-Path
/build/z3-4.8.4

First submitted
Wed, 11 Sep 2019 16:37:28 +0000
SHA1 of .buildinfo
dcaccebd9d21e557f20780a5b82a26c7fa757e0f

Binaries

libz3-4 (libz3-4_4.8.4-1_arm64.deb)
SHA1: 8b990de7858e09a8a72e71ee50885fc58e01a3f9
SHA256: 16e794be31170bb3697690cc9947af29d6ed4ddc5f0126c3a51e126a57252cdd

Size: 5,743,976 bytes
libz3-cil (libz3-cil_4.8.4-1_arm64.deb)
SHA1: 21c5b0ee1d6c2af4351cce1876de5db6889f04f1
SHA256: 7d41f09c6baadd0233fbb0607c3a291bb4bb712c37f7b2452687c15be02dfc63

Size: 44,668 bytes
libz3-dev (libz3-dev_4.8.4-1_arm64.deb)
SHA1: fc060c48ed9e224ad5c8d9efc89b847d32c7ecc9
SHA256: 1d47cbd3d74298a6aab637b6047dec1187d1935cc360f825cdeb7d8f5bd70939

Size: 83,484 bytes
libz3-java (libz3-java_4.8.4-1_arm64.deb)
SHA1: facd281023e45dccb6e2784476ebdb4b8caec1fe
SHA256: ad9d1977433aaee51a4047a26fbf3d2c0d2a27c87a54ed2733959a78f9b0614e

Size: 152,252 bytes
libz3-jni (libz3-jni_4.8.4-1_arm64.deb)
SHA1: 59a550712d725ad31773a7808cd85b6fe007dde1
SHA256: 903efb580f0cfcb7a4006a16200a6dc4ca1677816dbff8e19ea7a8dce120e4d7

Size: 30,264 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_arm64.deb)
SHA1: 84608ab55694790fdf743de15054120aeb8a43d5
SHA256: ff6e10823757b0c1df4c663679117d4fa3f0ec4b3cb394b5465ddc6eb5752fa8

Size: 474,176 bytes
python-z3 (python-z3_4.8.4-1_arm64.deb)
SHA1: cdd42a95700edc8c2718d0aaea2e6728269098a5
SHA256: 5e3c25466d00d3ddc0958eef104187c7b1c4d6fb892888115c96ee3298216c9e

Size: 1,344 bytes
z3 (z3_4.8.4-1_arm64.deb)
SHA1: 020725d5218022e5bf8b6a1b00859df88c4aa99e
SHA256: 14ca957222f5bc60e469ba8199d4aad76d60ff426d3b2a6520758bd7697ce055

Size: 5,856,784 bytes

Other checksums

z3-dbgsym_4.8.4-1_arm64.deb
SHA1: 26b7e565df36c5f0e0c9bac1f4e4f90c6d90bf64
Size: 103,779,932 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_arm64.deb
SHA1: 88991c69a35b2d988c1a11f1e155e30e1bf31b71
Size: 357,376 bytes
libz3-jni-dbgsym_4.8.4-1_arm64.deb
SHA1: 20e502f6c463fc3a3782d59ded4ca1c95bcc7aad
Size: 173,788 bytes
libz3-4-dbgsym_4.8.4-1_arm64.deb
SHA1: d2be18b46d947d2b279462c81eb899778fc32f76
Size: 100,877,084 bytes

Submissions

Submitted
Wed, 11 Sep 2019 16:37:28 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1566909011"