Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 14 Jan 2020 20:23:47 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Tue, 14 Jan 2020 22:15:59 +0000
SHA1 of .buildinfo
e43dac73158bc7ac9fc772960fa9eb88dcf4a2fa

Binaries

libz3-4 (libz3-4_4.8.7-4_armhf.deb)
SHA1: 7a899e3522b139f3f069bfd4beeade15d33041d9
SHA256: a74a58db3df61d28d738c35ad28545a3855bc9639f533078362b3dc1eb321714

Size: 5,810,352 bytes
libz3-dev (libz3-dev_4.8.7-4_armhf.deb)
SHA1: c7f1baad1d827604f6b58407d3c10aa1497a6b55
SHA256: 2f8986e155430017258f938bc64a14d680279d140e24b74dde0b4914e41094a0

Size: 87,316 bytes
libz3-java (libz3-java_4.8.7-4_armhf.deb)
SHA1: 52b7fa12c74f39ea0fc9a7353e31ba5058ad50c3
SHA256: d067adc6d9e61103d50bd6534bc8a876eb727ecec4b859354dd5ab2ac1344a74

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_armhf.deb)
SHA1: b90828e1a166eddb3584680b472747b32998941f
SHA256: fe0b3188a30aada602562f7e0e0811c5308b923ed598da4c68dc32907996afcf

Size: 30,096 bytes
python3-z3 (python3-z3_4.8.7-4_armhf.deb)
SHA1: 49e9a4a1e90d705580e200a047fad86f1e90dc69
SHA256: 8a93308851cc39624cab537569f72fdfd18357605ca9e0a93b416617fcecba86

Size: 76,520 bytes
z3 (z3_4.8.7-4_armhf.deb)
SHA1: 70c5cc36e1211bac331b860dcc0b4a1a3d153dab
SHA256: eeb8da5a0a82a4b302d6b16261239ef10fd96ca9273dc3122879eb877e063337

Size: 5,815,196 bytes

Other checksums

z3-dbgsym_4.8.7-4_armhf.deb
SHA1: 9701a3df3af55c00fbb97253bc2103cfbdccb007
Size: 108,088,228 bytes
libz3-jni-dbgsym_4.8.7-4_armhf.deb
SHA1: dc4a399513560b4a2070ababebe6202e2f1047f6
Size: 185,888 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: d6e0ecc4149c07cdc09912c361a819ad042f28a4
Size: 106,791,416 bytes

Submissions

Submitted
Tue, 14 Jan 2020 22:15:59 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"