Source
z3
Version
4.8.10-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Fri, 29 Jan 2021 21:35:24 +0000
Build-Path
/build/z3-pZeMPb/z3-4.8.10

First submitted
Sat, 30 Jan 2021 00:15:15 +0000
SHA1 of .buildinfo
558512ea6cf5fbd32eae74c7a406e7b7ddf25d84

Binaries

libz3-4 (libz3-4_4.8.10-1_mipsel.deb)
SHA1: 46f8a1f0a845b886f9886a2b1565ced68ce9c33a
SHA256: 340850ae28e31861ddeff3ed6dd37f48b97f0466e308be2d5e8926c28c43034c

Size: 6,002,608 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_mipsel.deb)
SHA1: 984b89686ae351adfca9ff0bfbd7e527efc611be
SHA256: 9378a30f0ed7391eee16c5e1172e9e2016b224cbc0177be66ff643be59bcf97f

Size: 128,554,848 bytes
libz3-dev (libz3-dev_4.8.10-1_mipsel.deb)
SHA1: 5993f03382ab66c836afc0ad2865076ef1e4ce00
SHA256: 7eba382d68519974fe2762ea8ab0310224544bf27ed0080178d0480e9576e1f5

Size: 90,828 bytes
libz3-java (libz3-java_4.8.10-1_mipsel.deb)
SHA1: 78b21e34c3da4c1fd116917c73edece092b890e2
SHA256: 430044f75927712dbb9ada5bb3a04214e94c184b28de92da997382fcdf9c026c

Size: 159,340 bytes
libz3-jni (libz3-jni_4.8.10-1_mipsel.deb)
SHA1: 885a836c746d06a0399e315b9e8691d4404192f8
SHA256: 10ddbc8526cc05c9f0ae64cf422c3dccf31e9269e2547e56e4d558f125b001bc

Size: 36,524 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_mipsel.deb)
SHA1: af3808812c4642a21f312a39dbd3493487bfe637
SHA256: 3a743e662f33c07235b8b8b4a5a44b2539e200357498a6b50ef5ba8205f1fafa

Size: 187,556 bytes
python3-z3 (python3-z3_4.8.10-1_mipsel.deb)
SHA1: 5adc6cdfd6a2b83a0e54b1666e66a259de8ab106
SHA256: 92ed516f7e2681130d587e26f4fe4a1a7d93bdc8d0c9c05d08d0f31fda93c5ac

Size: 78,104 bytes
z3 (z3_4.8.10-1_mipsel.deb)
SHA1: 62f73304affeabdfa468466850438e0d531d7e99
SHA256: d9b140e554816060322c1f84cabd83d62158de26e3e96ce2bb067b869ecd66c9

Size: 6,028,200 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_mipsel.deb)
SHA1: 5633cd2b8e33369f3727feef5c798f291b862972
SHA256: 0334c97c14e5aa2ed1891f2558a5d31871c6b1b9f14f32cf08738298b5f0e366

Size: 130,186,372 bytes

Other checksums

Submissions

Submitted
Sat, 30 Jan 2021 00:15:15 +0000
Signed by
0xC3D4B8BD3B2A6AB5

Environment


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