Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 21 May 2019 00:00:39 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Tue, 21 May 2019 04:58:51 +0000
SHA1 of .buildinfo
ab7ad1f15a0d899ab18c1990069f6ab5fdc8ec88

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: ff8f5e4095ab5f37fb359c9125177d6cf107041f
SHA256: 74f02d1189c58b78873cb2f81fce1f5f39450fe00a4db19fbe5ef7220bc303b4

Size: 4,555,536 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: a7b7767baad9cbdd8accd954301f94edc1b111e6
SHA256: 1c12642c0aadb4055b5d1c20d985ff6814d84b4e8519f97cc48e6a5c3557377a

Size: 40,664 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: 39ef9765a6eb424f17c56e8614ada248bab098b7
SHA256: 11fc9b9bca8bb6b908e5d415ce9eefd1c67ad5f7621748edc4f0f6548a35079e

Size: 30,184 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: b5e8a86e8ce9552f795f5545afec7e0f9c7956d3
SHA256: 2000b6532f426e4ce45a6be0f74048cd2c74164fdd47762bb1a66354299986bd

Size: 517,388 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: 8c098f4c3ccf6c9d0bcd285696cb30326ac08cdc
SHA256: 822f0e7b635382d969dacd1606ade800caee6a696d3a7733c11e40c71166dbe9

Size: 4,561,000 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: e74ca11980507d3d69948a7adaead04c71359838
Size: 97,073,236 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 3b837ae4ac189e1fd756f70072db090ede7ac281
Size: 204,364 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: b5e13d34623beb5b152b547370e374bbf85c3d3c
Size: 170,140 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 3e6604cf96f6fb6499b30e83e7fed0858651f815
Size: 96,492,864 bytes

Submissions

Submitted
Tue, 21 May 2019 04:58:52 +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="1536521312"