Source
z3
Version
4.8.6-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 29 Sep 2019 19:42:02 +0000
Build-Path
/build/z3-Krviw0/z3-4.8.6

First submitted
Fri, 11 Oct 2019 01:06:56 +0000
SHA1 of .buildinfo
2fb8ed9929fdfaf4a646642e5bcbd51ac5ba9769

Binaries

libz3-4 (libz3-4_4.8.6-1_amd64.deb)
SHA1: 3c7a37fe225515d620ff97b6f09f7587aa5c22fc
SHA256: a40319f34a97686d520d8db9c3ab7029a9e86074ffac75fba1e1ff6c6a86f6b5

Size: 6,814,300 bytes
libz3-dev (libz3-dev_4.8.6-1_amd64.deb)
SHA1: 13544a1acabf2661b6f67a4c15b1d91e61185a91
SHA256: a0f808b42b079b0373459fbb97e8f5df5de9b588cd5885339e39eaee2caee7d0

Size: 85,688 bytes
libz3-java (libz3-java_4.8.6-1_amd64.deb)
SHA1: 9455bb11d33ccc160fed9346c9cfe7b9a1487cb3
SHA256: 65f5999e36b4bc68c1c99a038c0d2e4ac9c1c8363fe4e03bb39a33a558bfc3b3

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-1_amd64.deb)
SHA1: 60667462bea726b5cca1e9c3f9c2f1f026f8c069
SHA256: 77d46f1e1ae5efae8ba6f3530f0db3afc8f8859170e8dd760c181624f6ffcc80

Size: 32,212 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_amd64.deb)
SHA1: f56cb2a0c8494bc97ed2f5282ceccaae6b642093
SHA256: 1041e10fc3a3cb7c226b625598505901afecf62a4860faa66e3dd21218c994e2

Size: 482,044 bytes
python3-z3 (python3-z3_4.8.6-1_amd64.deb)
SHA1: 3245758b05513be5eb2492c15d21b6f51f716d8a
SHA256: 4d400128eab3e844dcc06a246a78f0659eca5f1a13842d73feaa9512658d9030

Size: 76,376 bytes
z3 (z3_4.8.6-1_amd64.deb)
SHA1: aa9668e86171f1329a615de56c1901ef51b54bc6
SHA256: 797053007800f700b92196bc915971059dc425f7626e98685a65ad5d0e27dbdc

Size: 6,946,676 bytes

Other checksums

z3_4.8.6-1.dsc
SHA1: 3fce00cd1b067f7126c6159e0588aaa8d2d5f195
Size: 2,659 bytes
z3-dbgsym_4.8.6-1_amd64.deb
SHA1: 8534ea98c3cda57ab1c4691d98798e99b657c4e9
Size: 109,906,504 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
SHA1: 36088f6bc2cb605219a774e458acf455ea081c47
Size: 355,684 bytes
libz3-jni-dbgsym_4.8.6-1_amd64.deb
SHA1: 7d729c8ed327be18dae2c547c40e0677a508c092
Size: 179,308 bytes
libz3-4-dbgsym_4.8.6-1_amd64.deb
SHA1: d53502876fbadcebbef12c85562fcdde2f3a9420
Size: 106,714,708 bytes

Submissions

Submitted
Fri, 11 Oct 2019 01:06:56 +0000
Signed by
0xC1E0D92E986F7C7E Adam Borowski <kilobyte@angband.pl>

Environment


DEB_BUILD_OPTIONS="parallel=64 color"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_CTYPE="C.UTF-8"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1569774114"