Source
z3
Version
4.8.7-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 9 Dec 2019 02:30:59 +0000
Build-Path
/build/z3-NibpeT/z3-4.8.7

First submitted
Mon, 9 Dec 2019 06:14:25 +0000
SHA1 of .buildinfo
809a49d093128c84e2a249842baab2270e6020cf

Binaries

libz3-4 (libz3-4_4.8.7-1_mips64el.deb)
SHA1: 3c2f5fde6b33da58edcafe985e38473c43d8a2c6
SHA256: f7fb4f47596ce2bc050ce1108b27360f98fc5bf2f10839e75adf25cf85ea29c3

Size: 5,751,192 bytes
libz3-dev (libz3-dev_4.8.7-1_mips64el.deb)
SHA1: 3a7751465361511da6952bfd510908571a64f550
SHA256: 8fefd504075238130f26f7c40e32707c7ed8d87fee87235e70fc88cfd81626a0

Size: 86,712 bytes
libz3-java (libz3-java_4.8.7-1_mips64el.deb)
SHA1: 57c7765c1f8251686752c24aced5b04fef657300
SHA256: a1558f907de0084e24cca293881b3b98ac05079fb7aec836b8fc27740dfe531b

Size: 153,788 bytes
libz3-jni (libz3-jni_4.8.7-1_mips64el.deb)
SHA1: c1cfff06c9343bd31558e61ac08b4ee307a6d4ec
SHA256: 1b58104479ab8c6a8c0f78035dd5f90fb7605d0974fee21880b022d743293d79

Size: 34,232 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-1_mips64el.deb)
SHA1: 58659d501bc4672f88bb3ed326bda429022ca0e0
SHA256: 208c1547bef67367e6b9caef9bcf6c82d544fc3d00a49306427fc0bd3a7909c4

Size: 493,288 bytes
python3-z3 (python3-z3_4.8.7-1_mips64el.deb)
SHA1: 860d9d3290f8cab9de4bbb8bce900ad53827b636
SHA256: 23c521e3a26709e8ffff8360f09bceee368427d1cb88dca3cfeef6e05f99c165

Size: 76,440 bytes
z3 (z3_4.8.7-1_mips64el.deb)
SHA1: 8091c03ecf36e90a53bc3bcb3f305de940b83a6d
SHA256: f987b11e49e749b0297823a71f39a3185844fafedbc70faef6d3d23b15f4480a

Size: 5,888,456 bytes

Other checksums

z3-dbgsym_4.8.7-1_mips64el.deb
SHA1: c55cbb044258c65d9d6ec9276b2c839796607a8c
Size: 105,678,352 bytes
libz3-ocaml-dev-dbgsym_4.8.7-1_mips64el.deb
SHA1: 9eb50472d8b9fc9da6aa1952edd95666b2da07fd
Size: 372,684 bytes
libz3-jni-dbgsym_4.8.7-1_mips64el.deb
SHA1: 5909d2a47595d34417951b120c4cbbf3e3031b3c
Size: 190,488 bytes
libz3-4-dbgsym_4.8.7-1_mips64el.deb
SHA1: ab22a815a8e452a72136d84c7e807c744020ba41
Size: 102,716,432 bytes

Submissions

Submitted
Mon, 9 Dec 2019 06:14:25 +0000
Signed by
0x3443710A81671ED1

Environment


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