Source
z3
Version
4.8.6-2
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 14 Oct 2019 22:42:14 +0000
Build-Path
/build/z3-4.8.6

First submitted
Tue, 15 Oct 2019 00:16:13 +0000
SHA1 of .buildinfo
0b98d41f452baf243f9ab5129fa30ac520f01fde

Binaries

libz3-4 (libz3-4_4.8.6-2_amd64.deb)
SHA1: 1693f2b23ba609b2736870db8d2d29c21de9966e
SHA256: 04fc2416ba7ca1c4a9a97493abcf37df25c295dde450acd0d0d8051b2d39c772

Size: 6,815,984 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: 237b067ea148659f64ddf16877253ab0ad006ca0
SHA256: 5f09c2d2ab5e928344d53778e57c8c59706a5e27040a8ff1d2f29264e8e3935c

Size: 32,476 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2_amd64.deb)
SHA1: 4ab2426bbd2540ace59eea0bb1189df0b35fa6d6
SHA256: c2f421b477920a6be62b10c2e8c08ecd68fe9b683aea3639676fccfa912e2155

Size: 479,472 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: 766a0f1623ea8fd447f591bee30830351a289ba1
SHA256: b816aa59398c05beba5d0b2582e8f19c3a46897c1542c3b2fdd5bcb12c556f3f

Size: 6,951,460 bytes

Other checksums

z3_4.8.6-2.dsc
SHA1: a20ba7e686e4d3bc02e1a0ff708e6450eaa0fb85
Size: 2,659 bytes
z3-dbgsym_4.8.6-2_amd64.deb
SHA1: fa4a5467e7ec32840a7100a37428beb5c4bee0cb
Size: 109,908,400 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2_amd64.deb
SHA1: 5c4bfcde2b921fcc826252c5aaf3227347bce8c5
Size: 355,688 bytes
libz3-jni-dbgsym_4.8.6-2_amd64.deb
SHA1: bfd5b1aa5bfb64ebd33274e5107ae409c9f86198
Size: 179,296 bytes
libz3-4-dbgsym_4.8.6-2_amd64.deb
SHA1: b1aa4d91f5ad9b3e94598382a9e2677c36184117
Size: 106,668,780 bytes

Submissions

Submitted
Tue, 15 Oct 2019 00:16:14 +0000
Signed by
0x8A5388B64D692B49 Fabian Wolff <fabi.wolff@arcor.de>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1571092162"