Source
z3
Version
4.8.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 13 Nov 2019 10:46:43 +0000
Build-Path
/build/2/z3-4.8.6/2nd

First submitted
Wed, 13 Nov 2019 10:47:21 +0000
SHA1 of .buildinfo
4565e5afdac9a8c8a1c90a5dec11c0e87cf5719c

Binaries

libz3-4 (libz3-4_4.8.6-2_amd64.deb)
SHA1: f0c0cc8984553cb5ff0d7aff761c718ac8b37630
SHA256: 888a2d9e0d8b49200a58ec20856869b1e84def946c64f538f514499b291f2b41

Size: 6,810,080 bytes
libz3-dev (libz3-dev_4.8.6-2_amd64.deb)
SHA1: e26e7862fadbe489f5d2d97c1b626fad3692562f
SHA256: 1eff8ca1fa7a4cf0fa837100cc092a8193f22e61b841b7264b04df9475486c8c

Size: 85,796 bytes
libz3-java (libz3-java_4.8.6-2_amd64.deb)
SHA1: b8acac97aab625e3d473fe6b41770ebe0a1b64a9
SHA256: efc6d9abe542d7b7581e3286a234ca43eb177db8f5d2bd22f398b77377962f6a

Size: 153,580 bytes
libz3-jni (libz3-jni_4.8.6-2_amd64.deb)
SHA1: 2e2a02b03ef66f1b961b13e1711d73b13557f1cf
SHA256: 54fe3db3ecefacc92a30083d8ba7c795478c762679938867a4d6adde951d000c

Size: 32,484 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2_amd64.deb)
SHA1: 3bae3307d0e96cb7eed3d2021d9c51923bc83e1a
SHA256: 3c5772dc51ffc8e8ebaab8b7498076ef2af1ac2f273d3e60078a2eda3c46eaee

Size: 500,340 bytes
python3-z3 (python3-z3_4.8.6-2_amd64.deb)
SHA1: 250c478330f5580adc30f7833ca2e26846e88951
SHA256: 54a909243eebaf4e2947358bf078c43e1fc3d7041cb172c9bff998c7b4eb58f5

Size: 76,356 bytes
z3 (z3_4.8.6-2_amd64.deb)
SHA1: 31cd2ca9d4ed4185e9672fbc3a3a1f9866ec5e53
SHA256: 22e35b5704e6857274aeff800d13f2af52cf0b0ca838de4659c70530a555650e

Size: 6,947,416 bytes

Other checksums

z3-dbgsym_4.8.6-2_amd64.deb
SHA1: 08a5ef39cb170f5efd77854ee8682e2fd5068fda
Size: 109,714,232 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2_amd64.deb
SHA1: 7792ba997d2e1f9c23e3735c328d434f510b8ea9
Size: 355,744 bytes
libz3-jni-dbgsym_4.8.6-2_amd64.deb
SHA1: c65195c7564cab9f9152a9bd7ad97af9f96f37e8
Size: 179,388 bytes
libz3-4-dbgsym_4.8.6-2_amd64.deb
SHA1: eddc7ea7d4715389345039ca8136b8bd02b0bd97
Size: 106,637,780 bytes

Submissions

Submitted
Wed, 13 Nov 2019 10:47:22 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1571092162"