Source
z3
Version
4.8.4-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 4 Sep 2019 17:43:28 +0000
Build-Path
/build/1st/z3-4.8.4

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

Binaries

libz3-4 (libz3-4_4.8.4-1_armhf.deb)
SHA1: 25dc4fa69158597307f48cb6a7cb1303fa4bd8a5
SHA256: fd77a9d8d1506b6b9dca31fad8c5157c5273e1a007ec423111148da5ff216688

Size: 5,630,988 bytes
libz3-cil (libz3-cil_4.8.4-1_armhf.deb)
SHA1: 60378faaead9b3fd16a5ad819def1c10ea0ee7cd
SHA256: ba6b7c828ba5c9543fc06115b6b13e3d7ca25733d83979d45d512df3f7bf652e

Size: 45,036 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: 509c364d879ff8b686e4c64004de68d1bad634ae
SHA256: 4bed68332d2efe1a25d499c832a0f17ee8cfd664ec5b87aac3a31c4709bf3a29

Size: 29,532 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_armhf.deb)
SHA1: 32757d05e2593c72a62b2f8cf7b4b61959c372f8
SHA256: cba557205a6a604da79dc79c213d01801146d01c64cdb9f6ba79e9e3e0d3416d

Size: 465,944 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: c1bc3f74888de1f0af7edb210b84d667c2f313c3
SHA256: 3587ad507612c350467cb557510b5317d9c233e1d5840b23b9602528e384886a

Size: 5,743,124 bytes

Other checksums

z3-dbgsym_4.8.4-1_armhf.deb
SHA1: 0d845b70411a7499066f0d7d5f92c658c8243246
Size: 97,808,328 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_armhf.deb
SHA1: 5b583c7e6dd9142600887a2ee6cccfeaeceff4c4
Size: 356,120 bytes
libz3-jni-dbgsym_4.8.4-1_armhf.deb
SHA1: 32d4f91e0863166c30eeecc4bcca7d25e51fe4c4
Size: 182,276 bytes
libz3-4-dbgsym_4.8.4-1_armhf.deb
SHA1: 3baf597d74ce73f7fdce094a69645521d8447aad
Size: 95,188,380 bytes

Submissions

Submitted
Wed, 4 Sep 2019 22:12:00 +0000
Signed by
0xB31CD0602364F84B jtx1c (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"