Source
z3
Version
4.8.7-4
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 14 Jan 2020 02:08:26 +0000
Build-Path
/build/z3-KPoxkd/z3-4.8.7

First submitted
Tue, 14 Jan 2020 06:11:03 +0000
SHA1 of .buildinfo
d3b92bb1b2ad660bf8377066e1bbe179448b7f78

Binaries

libz3-4 (libz3-4_4.8.7-4_mipsel.deb)
SHA1: 5ecf491b1e60f8c7feb0fcddd63e4e5cf388c96a
SHA256: 7855b3736cbbed7e227e671602d2ba264064e28feb791fe0ba3fe0d7fd827043

Size: 5,739,056 bytes
libz3-dev (libz3-dev_4.8.7-4_mipsel.deb)
SHA1: 70a9e0d9388cd8153662b4cf74d06d389c5131a1
SHA256: 536770c1da66ca4a10d7bdd159ab89aab60d3610c350c826eafa40e777f847c9

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_mipsel.deb)
SHA1: 8321543b01d2034f709cb71c3e7d0c880c10021d
SHA256: 8fcae6df2fd69ef2182a7180fe83896d63e96d9781ba9c8ed57c7fa71845f2f7

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_mipsel.deb)
SHA1: 541432a1894fcb386dde672c394d899e26eced87
SHA256: 8f1ff2b84e198bb4120207f244908e56db1cb5cd6a26448967d7ec0cb5e84c0b

Size: 35,812 bytes
python3-z3 (python3-z3_4.8.7-4_mipsel.deb)
SHA1: e56f75759f4e35c86d7bf7bf6b81405bd9594c7c
SHA256: 4336db2b53c61148c30843b419cd6e13e2e85919ca7e06438613cc5b62212a92

Size: 76,524 bytes
z3 (z3_4.8.7-4_mipsel.deb)
SHA1: cfb6836f30bb11d22c699d3bd7eecf14187b01b8
SHA256: 20dac4026b288a12ad375d56ae3370f908ed01485ad2d6288ffa671d865ddee2

Size: 5,759,424 bytes

Other checksums

z3-dbgsym_4.8.7-4_mipsel.deb
SHA1: 54b3092dada3a29e34006a461a3b8e34b4030932
Size: 109,039,360 bytes
libz3-jni-dbgsym_4.8.7-4_mipsel.deb
SHA1: 81a68bff050a5965dfa690d8cc2ed0bd2fdd996e
Size: 186,484 bytes
libz3-4-dbgsym_4.8.7-4_mipsel.deb
SHA1: 464cd78ca54953c689a4751007781500339bd897
Size: 107,723,540 bytes

Submissions

Submitted
Tue, 14 Jan 2020 06:11:04 +0000
Signed by
0xC0BF082DA8AD6020

Environment


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