Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 14 Jan 2020 22:03:43 +0000
Build-Path
/build/2/z3-4.8.7/2nd

First submitted
Tue, 14 Jan 2020 22:16:01 +0000
SHA1 of .buildinfo
516caeedc4af46c568b5c4cffc3c270ef0e84d2b

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: 4bb497c7bfc05c99c71e24eaf92734df23fe5d70
SHA256: 557099a72774cff4c7426b2088664ad3ed09ceda8a4455e9a33fbc2e5bb32d45

Size: 30,104 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: 8b0ff02bbfb7e88df9272959986c09c4cc280af6
Size: 185,736 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: d6e0ecc4149c07cdc09912c361a819ad042f28a4
Size: 106,791,416 bytes

Submissions

Submitted
Tue, 14 Jan 2020 22:16:01 +0000
Signed by
0x0A07D6A9A1E93BC8 jtk1b (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="1578952552"