Source
z3
Version
4.8.7-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 10 Feb 2021 12:51:01 +0000
Build-Path
/build/2/z3-4.8.7/2nd

First submitted
Thu, 9 Jan 2020 06:28:27 +0000
SHA1 of .buildinfo
b4eb6836480c339dca56df866a5d6b425ae74e22

Binaries

libz3-4 (libz3-4_4.8.7-2_amd64.deb)
SHA1: 9e18c61125b3823e409af0726c21acf63af6ac7e
SHA256: 511497b642631f06d9ab7894f956fce4ff9e12bbb23ea580f4793693b307d8da

Size: 6,839,024 bytes
libz3-dev (libz3-dev_4.8.7-2_amd64.deb)
SHA1: 537fafe46057bfb7253f100afa5624e13733bfd7
SHA256: 4c148a87946af2d4c667109bbdf750432ba6a1a1e928f269ffc161f3e06ec354

Size: 86,744 bytes
libz3-java (libz3-java_4.8.7-2_amd64.deb)
SHA1: 3cb770d41052c9527cadfce40de9521762e96a57
SHA256: f786263bb40c8db8553a0bdbbd08648b8f8108aba5ec838b57def76827a9dde9

Size: 153,776 bytes
libz3-jni (libz3-jni_4.8.7-2_amd64.deb)
SHA1: 8073bee4bab708523d5f1b7f733483e7b39acb30
SHA256: 9df21e9221c7049c45292eab7404bd270aff550b6a75caa8774b91f54ffc0187

Size: 32,548 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_amd64.deb)
SHA1: a1c66d921d79aff19da345c7027f3c7af1a7b3bf
SHA256: ab429edfdfd2def117b5ebb7f344fe5833ed825ff4f1993ac14ef31561e4e8db

Size: 580,128 bytes
python3-z3 (python3-z3_4.8.7-2_amd64.deb)
SHA1: 13f2502a92ae8b827a491837e3a493cc4fdf4472
SHA256: 8b565b4ba0f6b83b02a5445224bce5ef03b8304ccf7f43648d24a8af2f9a0d9d

Size: 76,408 bytes
z3 (z3_4.8.7-2_amd64.deb)
SHA1: 93c5f78e4b19f91f215f13932e0846e7fd208aeb
SHA256: c4e7f3f39fecc035588775836679d8970c51f051f378d961b2a3857d1ca4c9b6

Size: 6,979,968 bytes

Other checksums

z3-dbgsym_4.8.7-2_amd64.deb
SHA1: 1cdc009748e707b6697e3167dbbc9b5ca7618d27
Size: 110,490,684 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_amd64.deb
SHA1: e14acf0f16e3fbc2f9d4ef3667753b72360f72b2
Size: 355,944 bytes
libz3-jni-dbgsym_4.8.7-2_amd64.deb
SHA1: 95e072511132e91c5ec68f36d933ac1c7331aea0
Size: 179,008 bytes
libz3-4-dbgsym_4.8.7-2_amd64.deb
SHA1: 25f4c2c6682a979c642146a926f8fbdb6a850ae1
Size: 107,426,752 bytes

Submissions

Submitted
Thu, 9 Jan 2020 06:28:27 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1575895178"