Source
z3
Version
4.8.8-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 6 Jun 2020 14:48:15 +0000
Build-Path
/build/z3-m1opIm/z3-4.8.8

First submitted
Sat, 6 Jun 2020 18:14:51 +0000
SHA1 of .buildinfo
ebe87e10e9e9f463fe259f717215faca22b9fec1

Binaries

libz3-4 (libz3-4_4.8.8-1_amd64.deb)
SHA1: f8599e68a76ebce70d2fc2e95e3746893f7ab823
SHA256: 23c598818a8a601ebeafc9d1cc89e0ce91acc2a452af3ce93513ae360c04ade7

Size: 7,303,880 bytes
libz3-dev (libz3-dev_4.8.8-1_amd64.deb)
SHA1: 288cae58d430f93837ecb5cd1062abbe0ef9f265
SHA256: 00617f2012ddf8a0dc557683ee0068bfe624a5f803c54c3c2c8b902693e4511f

Size: 88,276 bytes
libz3-java (libz3-java_4.8.8-1_amd64.deb)
SHA1: 5b8947d0bd0b8d59e24e0650b9e379bee694c80b
SHA256: 5182a7d7059db21e0083647b293f0b3cfca89787b8ccc7ab0ddfa925029fbb15

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_amd64.deb)
SHA1: ff3c7f8957d50210f0da2253060606e066c5e077
SHA256: 467274766a766c234aa8d6fe213f550402b693ede95c1c649014819bd9e32eba

Size: 32,500 bytes
python3-z3 (python3-z3_4.8.8-1_amd64.deb)
SHA1: f228489d9977a537571b97659f0ea555d5bb338a
SHA256: e698b035210b1273d8bb408d53ae88b208d2fbe3f86bbc2fcc59eb2b732b150e

Size: 76,708 bytes
z3 (z3_4.8.8-1_amd64.deb)
SHA1: 2d4f4cbe502c02781c00b6e95ec0722c409d0d96
SHA256: f7f6784762b68b8757e65901a19ab30a42d4651c86c8763225c0f91a73ac9485

Size: 7,310,636 bytes

Other checksums

z3_4.8.8-1.dsc
SHA1: 43024ee92806f15c6958222f1e905c2b9e194a72
Size: 2,626 bytes
z3-dbgsym_4.8.8-1_amd64.deb
SHA1: 51bc681e0cbfea126781ab22b14d0b2218f3169c
Size: 128,342,088 bytes
libz3-jni-dbgsym_4.8.8-1_amd64.deb
SHA1: 1965c43656b698b4b2752ad62db3e238d40e6453
Size: 179,604 bytes
libz3-4-dbgsym_4.8.8-1_amd64.deb
SHA1: 48e8ddfb890a21abe155bf2765498222ffabc43e
Size: 126,954,640 bytes

Submissions

Submitted
Sat, 6 Jun 2020 18:14:51 +0000
Signed by
0x8A5388B64D692B49 Fabian Wolff <fabi.wolff@arcor.de>

Environment


DEB_BUILD_OPTIONS="parallel=5"
LANG="en_US.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1591453977"