Source
z3
Version
4.8.7-4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 14 Jan 2020 02:05:54 +0000
Build-Path
/build/z3-yZVclZ/z3-4.8.7

First submitted
Tue, 14 Jan 2020 06:10:30 +0000
SHA1 of .buildinfo
27f150fdc96a610c996ec4bc3577f27920349c8f

Binaries

libz3-4 (libz3-4_4.8.7-4_mips64el.deb)
SHA1: 327693b7201fb2562540ea8b91f0a2e53e6a7706
SHA256: 698ff39ce444c297ea568e8c53bff669f1055ada6a68dfbc59c834c0508ca094

Size: 5,779,376 bytes
libz3-dev (libz3-dev_4.8.7-4_mips64el.deb)
SHA1: db469be60e1398827fe0af13512c20949e174a16
SHA256: 57596fd5d0e72409bbd5968048f2ca08292bfdcea6a79d8a16b6830b610f0088

Size: 87,320 bytes
libz3-java (libz3-java_4.8.7-4_mips64el.deb)
SHA1: c7236b68acde75fa6a04e77f6e9a0b332b98a7ae
SHA256: 0ac1f5d87db387f62a2b79f271a3d53242c0eea0f2b71061ab69d188dc37de76

Size: 153,740 bytes
libz3-jni (libz3-jni_4.8.7-4_mips64el.deb)
SHA1: 8fd6573516b5dbf9aac29f6e40517aa93ade54ac
SHA256: 9cfd5ce19d0eaa865bb51eab7e50f81bb438ad8e4f48134149014e45a1a8b2c1

Size: 34,356 bytes
python3-z3 (python3-z3_4.8.7-4_mips64el.deb)
SHA1: 47a75bdcb1062a96b64f478a221dd9dc232e26ba
SHA256: bb26ab39c0a1dc3a04e8a0220da7c08f9f134a8f515cf6dc2c53578cdeafabab

Size: 76,528 bytes
z3 (z3_4.8.7-4_mips64el.deb)
SHA1: 207e942684bf3e8a51713021339c1ab723ebd7dd
SHA256: f90ccc1d1c521e66bbf1dc5466fd783c1e27e516030a2174e7775b5f1645abf9

Size: 5,802,972 bytes

Other checksums

z3-dbgsym_4.8.7-4_mips64el.deb
SHA1: 350e62bf319027795438a06c5d9c890999fd2959
Size: 112,955,548 bytes
libz3-jni-dbgsym_4.8.7-4_mips64el.deb
SHA1: 1614e1f84d5f12a550b0c9f08d882881c9ab834e
Size: 190,796 bytes
libz3-4-dbgsym_4.8.7-4_mips64el.deb
SHA1: 8badd5117124e6620a5d20917b5fcf08a859fe7a
Size: 111,598,664 bytes

Submissions

Submitted
Tue, 14 Jan 2020 06:10:31 +0000
Signed by
0xB6CA69CFADAFD271

Environment


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