Source
z3
Version
4.8.7-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 29 Mar 2020 00:01:21 +0000
Build-Path
/build/z3-4.8.7

First submitted
Sun, 29 Mar 2020 00:01:47 +0000
SHA1 of .buildinfo
4565c23384441681ced6229ec9ab23d5c9d089ca

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: 995280fcf9278dda1e6aa3fac415c712f66fd3e4
SHA256: 461397fd979bdd4b949da35b8c11c53f1b8f222ccbb1e8c4deaaffd0800a18b3

Size: 6,790,436 bytes
libz3-dev (libz3-dev_4.8.7-4_amd64.deb)
SHA1: 651416727dcfe43e67854f2bf9304278415b0428
SHA256: 378ff72b7f1b318c52ff387c83f6b6393145394b5a0996f0fcf3608b24ab7ae0

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_amd64.deb)
SHA1: f4bbcfb5046bda09ca5867b31739c0513d4e1506
SHA256: 7c36fda5816f4334e0a033656039371c57d6f18cc6cb4838a09ef8f113545876

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: f969700d4cbb2d3febe59bb739a4b2110d8abb3f
SHA256: f2b326314a9c3c01322651ef973a34cc49f3472f9181d485ccb42102e380a2f1

Size: 32,604 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: be8d09971b7066ebbc3d3cb7859c67c21f81ef08
SHA256: 5a7633fa6cd4695d94fdf9c03a33d7bc6a0cec045967c18ba786e39b3f6e5d6d

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: 9ad0d2aa2369c5847fb33eafa6db4492588ed037
SHA256: f8b8ea30f529bca252045506889d6f98696b28e625fa365b1a75162fca6ef3de

Size: 6,799,988 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: e4a80b1386ac51179923c2488445e1a9afb41433
Size: 117,909,128 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 20142f7ae51c87869ca32a190433c1b116b81a96
Size: 178,904 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 61274e32500d9766196628c4aac45161031be80c
Size: 116,556,068 bytes

Submissions

Submitted
Sun, 29 Mar 2020 00:01:48 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"