Source
z3
Version
4.8.8-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 10 Jun 2020 00:05:09 +0000
Build-Path
/build/z3-4.8.8

First submitted
Wed, 10 Jun 2020 00:12:27 +0000
SHA1 of .buildinfo
a60bea41dadd8fceaa1f3d148536c55081a551c6

Binaries

libz3-4 (libz3-4_4.8.8-1_armhf.deb)
SHA1: e4565bc8866e12367d7ab98f869a376fab69c587
SHA256: 7469c0f8305fc6bf0dd320a093aa20cf2442c5b742633d9ce6e4eb94a6b5cd88

Size: 6,286,488 bytes
libz3-dev (libz3-dev_4.8.8-1_armhf.deb)
SHA1: 138e45f132761c7f918d9cf4857a37ea4c73a310
SHA256: 20545bbec0cdb7e203c644da28a66fc21af722e10d5538b59cb41a322ac5d5ad

Size: 88,276 bytes
libz3-java (libz3-java_4.8.8-1_armhf.deb)
SHA1: 4f1aa5e708090887d7499b51ecdd3b76fd9a448d
SHA256: 5523136ec40836a28cb5d0b5131a500a29b2bbf1b5e6e582811079524b119b78

Size: 154,240 bytes
libz3-jni (libz3-jni_4.8.8-1_armhf.deb)
SHA1: 401df0161fd4deaddb75fc32f1709465fa479959
SHA256: c5cd5171ac20dfd1f10a888c0c69c820b7e009111780c839d9e64d8ab38327ec

Size: 30,196 bytes
python3-z3 (python3-z3_4.8.8-1_armhf.deb)
SHA1: 898e8cd74d2d2f6de08324cf7111c53c7218a14d
SHA256: 437b865f14b3c2f0c86dd315732315d8442232be1a5858cd56daa4c9c6781797

Size: 76,708 bytes
z3 (z3_4.8.8-1_armhf.deb)
SHA1: 5252eb30635fee6c6b4d0040e12347382e7f0ece
SHA256: 3c37df433b8b6bb34cadffe640b0e3cbaffbfc34b432d50d3309e924aed665af

Size: 6,289,812 bytes

Other checksums

z3-dbgsym_4.8.8-1_armhf.deb
SHA1: bddc623350596a0e038a51978afb0e5851da0f43
Size: 118,102,040 bytes
libz3-jni-dbgsym_4.8.8-1_armhf.deb
SHA1: 97e8acb4c747aab39cb16c3107e831d2538ea641
Size: 185,936 bytes
libz3-4-dbgsym_4.8.8-1_armhf.deb
SHA1: 04a086f43817e796a29ac05b386d25d83f1d9540
Size: 116,775,512 bytes

Submissions

Submitted
Wed, 10 Jun 2020 00:12:27 +0000
Signed by
0x9286832C95410989 p64b (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="1591453977"