Source
z3
Version
4.8.8-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 6 Jun 2020 20:31:12 +0000
Build-Path
/build/z3-mXnuHm/z3-4.8.8

First submitted
Sun, 7 Jun 2020 00:14:36 +0000
SHA1 of .buildinfo
8e6bf76e352262ad05a520e255fef5c872362fa1

Binaries

libz3-4 (libz3-4_4.8.8-1_mips64el.deb)
SHA1: 9681f242476c03932bdf5f42286f648cbc088905
SHA256: 2d4ba201944c79a3db5de429e1c652a351304ea876563f7487ed0541b9411134

Size: 6,151,316 bytes
libz3-dev (libz3-dev_4.8.8-1_mips64el.deb)
SHA1: b700cf2556109b9f3156d926828805b3d93530de
SHA256: f5c939b4198c214ff3cf0a026f3b9a66d8010635c45b800a47da44081002b4eb

Size: 88,284 bytes
libz3-java (libz3-java_4.8.8-1_mips64el.deb)
SHA1: 8dd4e820cc2c16ad1a33bf1ea390accca44a39ab
SHA256: 65ee68d104019b43baa7d2a2ccc9ef3f5820146c46e00e7a1b0bfa7e564c81ee

Size: 154,244 bytes
libz3-jni (libz3-jni_4.8.8-1_mips64el.deb)
SHA1: b4e14f03abc7e1f7eab1bccbf07315db0837b219
SHA256: 936e5506bed83d24b03ffd0a8bef40d60e71cb58aff5a1fbf35bf547c9a31eb7

Size: 34,460 bytes
python3-z3 (python3-z3_4.8.8-1_mips64el.deb)
SHA1: 8575d6986f43f2b99a970831f7915fdb9376e0d0
SHA256: 696ea1559f81877358d1da7239f133899a3763c6ae773e5b0377d5e6d864978c

Size: 76,712 bytes
z3 (z3_4.8.8-1_mips64el.deb)
SHA1: aab304b993a3623db9f7b864939c5e8ca3e8820a
SHA256: 7b3bd18eb91b52658ba5aa0ad2edc490ffeb1b0fa61c11e4345f2cf70d01fa52

Size: 6,180,436 bytes

Other checksums

z3-dbgsym_4.8.8-1_mips64el.deb
SHA1: eaba54f8c38e9bd718da775395acd737c5eafac1
Size: 122,999,796 bytes
libz3-jni-dbgsym_4.8.8-1_mips64el.deb
SHA1: 22d2ed50a647f813c8387f444af61f5667586456
Size: 190,900 bytes
libz3-4-dbgsym_4.8.8-1_mips64el.deb
SHA1: 8cdcde5e556b569ee32b4a72384bb79a3ac0c5dc
Size: 121,619,488 bytes

Submissions

Submitted
Sun, 7 Jun 2020 00:14:36 +0000
Signed by
0x85E314A6F8249DC5

Environment


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