Source
z3
Version
4.8.4-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 7 Oct 2020 16:00:15 +0000
Build-Path
/build/1st/z3-4.8.4

First submitted
Thu, 5 Sep 2019 09:38:32 +0000
SHA1 of .buildinfo
ee8c57d09ffc7d4fda4bc3f4741531d64bdb943a

Binaries

libz3-4 (libz3-4_4.8.4-1_arm64.deb)
SHA1: 4bcb69e57a5b9050c0396ccdcd666c97fe042581
SHA256: 63b54632172b1983ff3f0333b40ee557f71b258df6febc592a6d80d56ad3304c

Size: 5,744,480 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: f01e0d0234aa59646515ff4698ecc13ac4adf8ac
SHA256: 90491b9e60bcdb8bd75ad0ef55d6bec26cf67b087c26b31b1c35c7995bef79dd

Size: 30,260 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_arm64.deb)
SHA1: 91fdd14e1e59e82f857fe03c5f92b8963efd5b7f
SHA256: 3239027ff671204997286396f565318f37bfd2002b0bee3809284b33f967102f

Size: 476,016 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: ae992a51a39a1e7c0e520d08e515bbfb8d3bf83d
SHA256: 59a24c9986e96b832eb6fce9961087c87076983e7552e2a60f6bc925b1f44ec6

Size: 5,857,360 bytes

Other checksums

z3-dbgsym_4.8.4-1_arm64.deb
SHA1: 5406319b18c3ec483e8981c9b9688383f730d2ef
Size: 103,778,540 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_arm64.deb
SHA1: 30d9ffac9ebcf42804da8ac149d63072426c7ac7
Size: 357,368 bytes
libz3-jni-dbgsym_4.8.4-1_arm64.deb
SHA1: 917c0b99afb7937a585fd8d718c8b34554657767
Size: 173,844 bytes
libz3-4-dbgsym_4.8.4-1_arm64.deb
SHA1: 6d7c7485960428656a7f7f93e05b10b8a842d13d
Size: 100,876,860 bytes

Submissions

Submitted
Thu, 5 Sep 2019 09:38:33 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"