Source
z3
Version
4.8.6-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 15 Nov 2020 04:21:42 +0000
Build-Path
/build/1st/z3-4.8.6

First submitted
Sun, 13 Oct 2019 23:53:10 +0000
SHA1 of .buildinfo
a0690553d928e40766a1e7bb700413165b7d64dd

Binaries

libz3-4 (libz3-4_4.8.6-1_arm64.deb)
SHA1: 3f2dd3dc3d5848bd999ae41e11f6d8fe0c5366ea
SHA256: e5f55b6f0b42840e4012b0b4271fb2f38da7b2d3fe622312478efc176627c719

Size: 5,962,500 bytes
libz3-dev (libz3-dev_4.8.6-1_arm64.deb)
SHA1: 2ef4c6e9e6a1d9d846feac916ec193a25a2ecc92
SHA256: 6fb7002ab190f7e1b6914bd646ab60de0398f24f20e780954f08e7b66dbdf89a

Size: 85,684 bytes
libz3-java (libz3-java_4.8.6-1_arm64.deb)
SHA1: ddaada64bc14251c047bce1a852f2535ed0e92c3
SHA256: c409eee07b5579c5fde3163a38561b75bc4e66d71bf86b8994ec6495a261c58d

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-1_arm64.deb)
SHA1: ab3c5309a9c9b02819942e52ed6701affe0756dc
SHA256: b065f0e030ff0ce69f42aaf35402f6c97f7b78507470531b4961d66c8a6fa448

Size: 30,692 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_arm64.deb)
SHA1: efe7a8b8c1f00a3d10a40aa839794a9b2d50386d
SHA256: 7dddaee950a1589e091e15adf17ba8d133472c6f38b66cc3fcd6e21e3732af11

Size: 483,176 bytes
python3-z3 (python3-z3_4.8.6-1_arm64.deb)
SHA1: 0fab75349b694c80f24b1b7367941279ac099c39
SHA256: e9f00429439c3d20f7a274cc23ef0e1f27b223e21a8df0c24a994adcbde1866f

Size: 76,384 bytes
z3 (z3_4.8.6-1_arm64.deb)
SHA1: a031eff07758ad9bccfa443938298e2ae00f0f97
SHA256: e5cbcdf3f1a79fbfc21145aac4aa062318346057b590e26caf9fe0da1524337e

Size: 6,077,128 bytes

Other checksums

z3-dbgsym_4.8.6-1_arm64.deb
SHA1: 8c8c16d8c6958d866df1b66dd2484553a77bcd38
Size: 106,793,064 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_arm64.deb
SHA1: a468c4678fd0b500f15e907707372e1ec95e5c2d
Size: 365,568 bytes
libz3-jni-dbgsym_4.8.6-1_arm64.deb
SHA1: 93e324ec74b381086650cdbc6eacd4a35bd1d095
Size: 177,460 bytes
libz3-4-dbgsym_4.8.6-1_arm64.deb
SHA1: 2119322eead71d62b648a281ee6065e9ede9c799
Size: 103,809,544 bytes

Submissions

Submitted
Sun, 13 Oct 2019 23:53:11 +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="1569774114"