Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 29 Oct 2018 16:33:43 +0000
Build-Path
/build/z3-4.4.1

First submitted
Tue, 26 Sep 2017 10:50:49 +0000
SHA1 of .buildinfo
a872e84872a3bbee990016ad8ee87435719a4264

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: a5ad1e322e703d7845576fe1b9f0ec1bcbccf1ff
SHA256: 07059673f799028b22bc508ead2199ec52eac8be635e12902ab02961ce1c3929

Size: 5,199,108 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: f0095496a71f413d81b95daaf1e970bffa28251d
SHA256: b86ef1f0ffcbb731f34edeedff587489cd5c394ed31c02a746686175f013cbc8

Size: 40,608 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: d0e70bef6eab4975bc25d55d12efe2e5177f64ed
SHA256: bcc5ec2406bcca7952b4244eacb6a30f9480855976655c7ca9bddae3f28e698f

Size: 79,172 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 8b79ad1db1f64402da5578903aa4b904e2feccc0
SHA256: 7d23d297afffdf653c231b424f280d353eb2e4ba4971a9f220b1b7c09cd7fbb4

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 614b81261b7808c4e5caa212ad86a1254b3a0759
SHA256: 38aec371257453fb26450f8ff373794e73e5346d9a9bc17fa1e37ed6137ed7e0

Size: 31,560 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 8caeffffc328acd22c5d01e6f3320b28e9aa8c12
SHA256: 11ff1ed709e9f71b8a5d1a89082c84d86ce179bc11246c708a0f65da4e154764

Size: 452,418 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 01d2b9b0d97e8511f0f701697bd42bc3eccc7641
SHA256: 0afa4a98f80bf0c99e040a3dea05533a1b3067ce50dd36b40c088f9b4d211ccf

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: f71c211e8d4c305e5139afd1e8400f3e41044f29
SHA256: 3a38cebcee95da0288d232d08cee1f9dd2c3672efad53fce5720e8476e3356e4

Size: 5,217,518 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 8e7882f5663bcdf3ad589856889b2e7f2f1bed77
Size: 77,204,018 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: ea231674d22ed8559452c2648bab3243c2c742a3
Size: 183,882 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: b0e56d9130b58b8b227587a6702fd9ca946ed9ff
Size: 137,316 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 082c932a4b90934b1a1bebf75f19e355b85a0bb8
Size: 76,693,288 bytes

Submissions

Submitted
Tue, 26 Sep 2017 10:50:49 +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"