Source
z3
Version
4.8.10-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 29 Jan 2021 17:56:25 +0000
Build-Path
/build/z3-GtAEJ3/z3-4.8.10

First submitted
Sat, 30 Jan 2021 00:10:44 +0000
SHA1 of .buildinfo
8ef7afeada4447d5ed7339e6e80a849ea179450f

Binaries

libz3-4 (libz3-4_4.8.10-1_amd64.deb)
SHA1: 302afa0c1f5b11d6528ec765c7338a208f004829
SHA256: 7a38c2dd985eb9315857588ee06ff297e2b16de159dec85bd2777a43ebe9f458

Size: 6,949,460 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_amd64.deb)
SHA1: 8cf01b110ff9f7691fe0e37691bfec881a5ef5e4
SHA256: 9d5d327f047a99a7a61ef2a89827b64d5e2c5b567dc9a63a0b9fa75434adedb4

Size: 135,259,236 bytes
libz3-dev (libz3-dev_4.8.10-1_amd64.deb)
SHA1: c4318ba4d0c0c7a180e28335b46d54d2d73b4cfb
SHA256: c3e814472bd1f5077411f7543a8bcbfc531389f2af49ef6b2fb8a684a53c3f17

Size: 90,828 bytes
libz3-java (libz3-java_4.8.10-1_amd64.deb)
SHA1: 63b4edf321ad2090f6d91df421d7ac81df12ac1c
SHA256: 3ee94e7377cfa13a9e4972fa6155026dd4a9fe0caa069f3944d0f2b45afcfda7

Size: 159,340 bytes
libz3-jni (libz3-jni_4.8.10-1_amd64.deb)
SHA1: c61f40ef3d386700c47fc5bce7d4331d0ca231c8
SHA256: 29b4a67390e028087c8b6e9d2e6c94d0b3bd57f5f74cc8670121c370e1c32a0a

Size: 32,728 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_amd64.deb)
SHA1: a7ce9667640b80fc3653f8b9d92a174db187e667
SHA256: e285e9eea836c8a6b3812b47a0607f0fb44bea423816fcb566f4514135ae0d68

Size: 179,688 bytes
python3-z3 (python3-z3_4.8.10-1_amd64.deb)
SHA1: 169d367b9595cc57a980fc5b190db46fbeb70d7d
SHA256: e89e84a48c36b5e1da9bd6c19298715d448a2203c477d528fa840979685384c8

Size: 78,104 bytes
z3 (z3_4.8.10-1_amd64.deb)
SHA1: 696b5f619720f1587b5935e3bdc4d66f4a996f26
SHA256: 86bac76a2643b6f319730ce632f79c8e34769c76f7ff78b00989d8a78346daf1

Size: 6,966,116 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_amd64.deb)
SHA1: df2c08b102d18e52926448bd5eb610746e24a9fa
SHA256: 093fe80ff4491dd06da11dc07144d6329ec13a30381421ce7aed89f635cc16a7

Size: 136,951,856 bytes

Other checksums

Submissions

Submitted
Sat, 30 Jan 2021 00:10:44 +0000
Signed by
0x787961435CA5266F

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1611938649"