Source
z3
Version
4.8.8-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 6 Sep 2021 14:42:29 +0000
Build-Path
/build/z3-4.8.8

First submitted
Tue, 4 Aug 2020 08:53:43 +0000
SHA1 of .buildinfo
5fe6a943f6c7fe43336795795a5b1955dd4af4a2

Binaries

libz3-4 (libz3-4_4.8.8-1_amd64.deb)
SHA1: 22edee76831b53255a56790a4aa777835bb9f4ef
SHA256: 87dbf5b690a2e2ac839b4f9aa846662490e10c99f022fd579a9fbed7a5ee8c4d

Size: 7,304,516 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.8-1_amd64.deb)
SHA1: 82ec0e1697d62d47614b9b0d64f1e30e4d614d8a
SHA256: 3734fdf4e39a2ea23cf545b4dca58bb93fc3b860dc22d274d2afa7b118f3fffb

Size: 126,947,804 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: 9c0e37b28ebe474ca25faa8cd1fc6bfcb6a90be0
SHA256: 2eb2db342bc16acbb8d396b533524cb1aef46f0713bfe71f654925252da380c6

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_amd64.deb)
SHA1: 406fa7672917ad5da6a1fa8372249f984f7fb437
SHA256: df71859305fe2e0351b731c64f3346a8619131e938ab9d359d8eaf5c7e897f18

Size: 32,504 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.8-1_amd64.deb)
SHA1: 93e2f6d9ac13c22cf5f5ec48eba40889ed0a02d7
SHA256: 00da2b91faaca6256e24b222336de32d7fe92ac4041b027ad686a8fb4c9aefa7

Size: 179,636 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: d777dd5de504221fa89875df2a17df50b1515a9c
SHA256: 56d3acf378693d6e7b93c9b334492416c0ab144fe416f53ee2a10b6998d8428c

Size: 7,311,580 bytes
z3-dbgsym (z3-dbgsym_4.8.8-1_amd64.deb)
SHA1: 15a70f672ced2df37303a86953278d163729b70f
SHA256: ddc8f7f8acbe3e5f13e2fdccc6921f1bfae67a33ce02097187838fcae3641cec

Size: 128,348,156 bytes

Other checksums

Submissions

Submitted
Tue, 4 Aug 2020 08:53:44 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1591453977"