Source
z3
Version
4.8.12-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 27 Oct 2022 16:54:59 +0000
Build-Path
/build/z3-4.8.12

First submitted
Fri, 24 Sep 2021 11:56:32 +0000
SHA1 of .buildinfo
74144a515025bcf739d02c07e1015b85663972fc

Binaries

libz3-4 (libz3-4_4.8.12-1_arm64.deb)
SHA1: b021d0b34f26f6c52c77ef61f271bf8e29c1250c
SHA256: 17509385ff0fdd3cf1698fa89d6bd55f6435871be17c03b3a38131dbadc2a1c7

Size: 6,164,640 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_arm64.deb)
SHA1: 00193c95425130c26efacedce2b05db253e2dcef
SHA256: 4f80099c6543d31e6d44f3d244f73b5cea55565d0dd7ce9206a14cf5a97e9f7e

Size: 140,248,280 bytes
libz3-dev (libz3-dev_4.8.12-1_arm64.deb)
SHA1: 98b13452bad20124a9a01c37327ec3f8ed18172b
SHA256: 89db8f3d3228371407566376f19956d1ddf19cdbd68658f18b2e8cf48f5a61f6

Size: 91,864 bytes
libz3-java (libz3-java_4.8.12-1_arm64.deb)
SHA1: f5a122c9dad6d621695f0f03d1443b4da97019f7
SHA256: 78620232592a3641011c8525646183dec8cbc7cf034bf6a2566ab76a028620db

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_arm64.deb)
SHA1: 0b5503b39a26c62a986733e051663be63c690fb4
SHA256: fe07eafff0649809746715a0dbd356a5bf0f22df352bf4e4266627a6b45ef295

Size: 30,884 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_arm64.deb)
SHA1: 4dc0dc30dacd7fe678ca3cc012366cefe92f907a
SHA256: f1d0db277096739208db1bf93918dda9c9ff44da9e0e0ab87fd70b9a24b26050

Size: 178,320 bytes
python3-z3 (python3-z3_4.8.12-1_arm64.deb)
SHA1: d410124b54aaad58344f6f5c58a4697ebd9093e2
SHA256: aa00e436e7f83306658285e7bcdf6a324d04bf3086a32cb395cfc820def333a9

Size: 78,336 bytes
z3 (z3_4.8.12-1_arm64.deb)
SHA1: 59f8db544686668adf48dea2f2fad562ccadffbf
SHA256: 46f2accaaff0eb43a4f1bb30dbac874ececf45427cf263821df394783b73b278

Size: 6,174,984 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_arm64.deb)
SHA1: 05c2ec6d5159a62ebabfed7ff787fba7de62efc0
SHA256: 8b618af2b54e603ce8b628efe04d840d1517d33325155f31d291e7a197c8ba36

Size: 141,932,576 bytes

Other checksums

Submissions

Submitted
Fri, 24 Sep 2021 11:56:33 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1631375903"