Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 14 Jan 2020 00:42:13 +0000
Build-Path
/build/z3-lZdAcP/z3-4.8.7

First submitted
Tue, 14 Jan 2020 01:43:45 +0000
SHA1 of .buildinfo
3a4ea0b42bbec466435cc16b2bc08f92da1ca919

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: 6f31af46f41c877c907416750383acdb0739de88
SHA256: af11c26adea713c608150ad5e7cb0cd07a9ca942c30c77cab5177bf6f485e70a

Size: 30,068 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: b04ab8d34aedac5c4e23ae874e3fda9137f643a7
Size: 185,884 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: d6e0ecc4149c07cdc09912c361a819ad042f28a4
Size: 106,791,416 bytes

Submissions

Submitted
Tue, 14 Jan 2020 01:43:45 +0000
Signed by
0x8BD0495DE0383C4A

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1578952552"