Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 24 Dec 2018 00:45:42 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 20 Nov 2017 18:47:20 +0000
SHA1 of .buildinfo
30a29df51f829a78c8e7db692dc979413afeaa38

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: a39311242d7713812be21b67b5c8f7cd0db00abd
SHA256: 95578af63649fa244641051add1b282bb5860a62635f4b5b2cd8a883780d5a1a

Size: 5,199,560 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 6eeaeb6171b9e4018a4821f6e713a21cb9f86489
SHA256: 15c635cf94e0d3f4f87546768a251045c510f4fabf9300354deae83d98fe6935

Size: 40,692 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: c4eb3c174bef60cc4a342a21f14bdbc0dfd5f216
SHA256: 6673021c14012110553585a93e9362259b0dae2bbd49f328b6cfeff3b70f2ae0

Size: 79,248 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 573e4bc3487c45c4614f3c76eda93f796db9725a
SHA256: 21859610b9017363eaee8442dcd5e3af0985557b84c012d2a08cd551574a7534

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 776b0db0a1b0bbf30e0a111e405ea7d5aa624b22
SHA256: f6ffa560f9bc7eb7f25a6662255903c6e6a8c4b4ea058f2dcd359aee19f3bf6e

Size: 31,644 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: fc042ed7472624473b1b3dfc7d39e6f9a2f34ffb
SHA256: 6a9b769633bb99254ee54c078ca90cdbc9a080d5b302e6205df4070e62b50b95

Size: 448,696 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: de8c88c1e97978da942e5a22b5273218a1c27f0d
SHA256: 0a06bb5a8b4d834c6ae8684df5a187ccd68522fbb1af2cbe95dee1fdaa102230

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 9dfc4c978cc00a22312d68866ad00a47b88b0c5f
SHA256: 82cc592855c54ba944e5fa7a28f0e57348cc15dfb4ae32abe4d1cc3078203558

Size: 5,216,752 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 127e3775686c7015e45019aa6f3624bbec49c626
Size: 77,199,572 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: d6e234ac310298d2c2524aab68cae49cc45db8b3
Size: 183,988 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: dc8d2d5ecc4595bfc2528c71a9e95a678c75de69
Size: 137,360 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: c1e9a285d9cbb8f8a2b6be22f0ae6492785a3e51
Size: 76,691,556 bytes

Submissions

Submitted
Mon, 20 Nov 2017 18:47:21 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"