Source
z3
Version
4.8.4-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 4 Sep 2019 19:47:09 +0000
Build-Path
/build/2/z3-4.8.4/2nd

First submitted
Wed, 4 Sep 2019 22:12:17 +0000
SHA1 of .buildinfo
d4c171c8ff113c5da681db3042188b276146a395

Binaries

libz3-4 (libz3-4_4.8.4-1_armhf.deb)
SHA1: a57ad46f9124e19854323b016b7af95bcc997d27
SHA256: e30cd6e36d93f7e1997d4d7977e44d898032435a36e9d38aee04bb4df00c16b3

Size: 5,629,700 bytes
libz3-cil (libz3-cil_4.8.4-1_armhf.deb)
SHA1: 4e7e6dbc00fb0dacdb4893955d1d42c93de7ef28
SHA256: 10f74ff297d98bd08b8d0ae1a59afef1dd87d1e5119a2aa657ad27b02f313088

Size: 45,364 bytes
libz3-dev (libz3-dev_4.8.4-1_armhf.deb)
SHA1: f04cde1c028d09449f07c11038d3fa35e1deb936
SHA256: 75400d0907e3f13ef0c65c8c3ef8f1860bce223baf0362451c34da4c8466680d

Size: 83,484 bytes
libz3-java (libz3-java_4.8.4-1_armhf.deb)
SHA1: eb2d4935847238a2ec2b5aba5242cc7584697bbb
SHA256: f5dd3e850c791456f472138755b1c9e4b5286b58249a13d9265feffab12536ec

Size: 152,248 bytes
libz3-jni (libz3-jni_4.8.4-1_armhf.deb)
SHA1: 35fefc0b5e0bc100a298ed7d50c63b426ee1d919
SHA256: 47d8aad34f7fad5cb9f415ecfaca82abbab0572936a490343688267663aab7dd

Size: 29,528 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_armhf.deb)
SHA1: c3b33ad6b8e10cd95b52cc9b409b6a73bd8061a5
SHA256: a261d42345e911b4765266247ea8ba57a298efb9d4338d6bf80834d1597a9956

Size: 466,308 bytes
python-z3 (python-z3_4.8.4-1_armhf.deb)
SHA1: 6dadf95372117906a093255be76512fa0157c2b5
SHA256: 811621cf5be52bf91d0c9ee72e092a681f0b64ea61c95d741febf36d793ae05f

Size: 1,344 bytes
z3 (z3_4.8.4-1_armhf.deb)
SHA1: a2ce5c20252becc05ee0e3f6edf149169e56181d
SHA256: d43604518490cb288fddbd7030084a3d2a8572f37501c3a0da3a4af981b141a8

Size: 5,742,396 bytes

Other checksums

z3-dbgsym_4.8.4-1_armhf.deb
SHA1: 17a1766e6e62128e38c130abfccb1eee1eedda47
Size: 97,765,864 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_armhf.deb
SHA1: f19495693704c73edd95ae9db92d0b283a1dbb09
Size: 356,060 bytes
libz3-jni-dbgsym_4.8.4-1_armhf.deb
SHA1: e8673f0b8329efd00c8cccde14a4ff8d80f14e3e
Size: 182,304 bytes
libz3-4-dbgsym_4.8.4-1_armhf.deb
SHA1: 407feca56967aff947b8ca12fd788a1d3609cc96
Size: 95,060,456 bytes

Submissions

Submitted
Wed, 4 Sep 2019 22:12:17 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566909011"