Source
z3
Version
4.8.7-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 9 Dec 2019 17:48:14 +0000
Build-Path
/build/z3-gBKLin/z3-4.8.7

First submitted
Mon, 9 Dec 2019 19:17:21 +0000
SHA1 of .buildinfo
3b0a411bce70318647ed425c95668eb92dd3634e

Binaries

libz3-4 (libz3-4_4.8.7-2_mipsel.deb)
SHA1: f08912abf333bdcecfcadd662ac8b5ced026316b
SHA256: 2ecb5a5a5e7861899a1e443289de5537fb0fc1c775af9071331786e0b39f44bf

Size: 5,699,540 bytes
libz3-dev (libz3-dev_4.8.7-2_mipsel.deb)
SHA1: 61a21ea4fc5c30e7af6bdc95833c6e384e6c0b58
SHA256: 2547b6952d7d78b499d617c848f0892a93f4d9901dfe60be45595311f6a2f621

Size: 86,748 bytes
libz3-java (libz3-java_4.8.7-2_mipsel.deb)
SHA1: b550ad84580c4bbc8b46cb8cbd74cf1a17866951
SHA256: 50d07ebbf3e2e3c498cac8531c51d739c3d0b3d26d219b634a4c880cd05c4651

Size: 153,776 bytes
libz3-jni (libz3-jni_4.8.7-2_mipsel.deb)
SHA1: 2634f3190f611a08eac8de6100fcd26d2de58d5f
SHA256: 43b372219ef8f019dde050643149a839f8053dec3b39d971390be7b4b4944d29

Size: 36,252 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_mipsel.deb)
SHA1: a34b9595f75fa3900edb39a971f7bfa440978491
SHA256: 0119f31dd08989a30b0e2ae4cff7c8626648a08db1e8f906eea874441142d328

Size: 480,264 bytes
python3-z3 (python3-z3_4.8.7-2_mipsel.deb)
SHA1: 38bb2b131bd75a8376111fce263bc183704c25c4
SHA256: a573b778c364439cd7761748d0c7bca83c9df688e87d7b970d86a4fb72312c4a

Size: 76,412 bytes
z3 (z3_4.8.7-2_mipsel.deb)
SHA1: 3a477f0ecb6bfc3912339a36405fee759242bb6b
SHA256: f496c9a5df5f0cff64b3eeb69b8bd6fa75bd68e935620ec74d493c9a47266828

Size: 5,833,992 bytes

Other checksums

z3-dbgsym_4.8.7-2_mipsel.deb
SHA1: aa649db827ed42476662c6ac582e84bc91406d56
Size: 101,408,788 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_mipsel.deb
SHA1: 16d89943f4dfbd23860c78cdf352ff05eb36f5a5
Size: 357,388 bytes
libz3-jni-dbgsym_4.8.7-2_mipsel.deb
SHA1: 79a63d3d3f5f1038e302b49e5dd8975082dd5bdb
Size: 186,720 bytes
libz3-4-dbgsym_4.8.7-2_mipsel.deb
SHA1: b051beca1e7987efd65df745fd7e2a93e90c0fb3
Size: 98,584,812 bytes

Submissions

Submitted
Mon, 9 Dec 2019 19:17:22 +0000
Signed by
0x9E295DF36F3AE1C6

Environment


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