Source
z3
Version
4.8.12-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 2 Feb 2022 03:57:37 +0000
Build-Path
/build/z3-4.8.12

First submitted
Wed, 2 Feb 2022 04:38:39 +0000
SHA1 of .buildinfo
77ed25b3f8d74e936c8b24bd1fe482cd05d8eda5

Binaries

libz3-4 (libz3-4_4.8.12-1_amd64.deb)
SHA1: 3616805456d7bd9c3e69c04382073fed92569301
SHA256: 76ea1629915007c64860edaca98a9d5e8c90056048f8b7f338400240f97988de

Size: 7,034,764 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_amd64.deb)
SHA1: 57c073f1be76067a80d1bb18731f6cd9a84a4f41
SHA256: f097963d41938f48db464f9192146c4d7976a50788915104857cca4e76f69856

Size: 144,244,668 bytes
libz3-dev (libz3-dev_4.8.12-1_amd64.deb)
SHA1: 4a9e6b9d22b7df2ec1a3494226f4b1f193ff43be
SHA256: 485ccb95d3e72f0177e37296809a84046f100a769d528e7787d1edf139b3746c

Size: 91,860 bytes
libz3-java (libz3-java_4.8.12-1_amd64.deb)
SHA1: 4e3d32bf0597b7f412b8fce34e19ac845539f69b
SHA256: 58af22c1ececf5e4d1ac9798006e3c7c8aac14239ccefc4a1d87adbe05c2a456

Size: 159,948 bytes
libz3-jni (libz3-jni_4.8.12-1_amd64.deb)
SHA1: e01d4ece7c6b14d8eba2ba5fbad23437c39605b1
SHA256: d27ca7c1b19545d4c2163fe96888bd2b63062ec35fc5f0eeac5a58dc64fe2638

Size: 32,656 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_amd64.deb)
SHA1: b76c42a25dd921a872c01d4d7bc8647f110cc88a
SHA256: 87fff997090c2d3a2dc57f972d2470c59c4fbe31f121a9dcd53c97b211ffb2bf

Size: 181,384 bytes
python3-z3 (python3-z3_4.8.12-1_amd64.deb)
SHA1: 25f72a882e6fd17d46c1a8d2822650916052db13
SHA256: e71fc8ae7dade3356b4613ef14f63aa2c50ddf80bee63270f16627c499ee3b91

Size: 78,336 bytes
z3 (z3_4.8.12-1_amd64.deb)
SHA1: 9bfc5909b8c27d80cc664c776fa12691197c22f0
SHA256: 306a5f719788e251e0d19204dad1936a9c2207c3f54f46c5b1760378f7f1cb4b

Size: 7,049,808 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_amd64.deb)
SHA1: 22a3967580798f2a691d76db39f72473e733c583
SHA256: 651f2c22886122b8855fda5801f3c7de06599e80b5ec9b3e351e0a3015963a41

Size: 146,174,360 bytes

Other checksums

Submissions

Submitted
Wed, 2 Feb 2022 04:38:40 +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="1631375903"