Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 14 May 2017 12:49:13 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 14 May 2017 13:01:31 +0000
SHA1 of .buildinfo
f0dc81e67b2d82a5376d166a3315c1f3bbfaf380

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 95637f1f8406cac2056f658bbf629751e3928fe6
SHA256: 6b39c2b2ba7f941bccf49cd76d75489de056c2dea212f22fe3bd494bddee3602

Size: 5,158,552 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: d24ce11d5d7a0102bccb62c324e8b932f031de7b
SHA256: 47c06aeaff6cc82b0f89327f22ddeb2ab90e06cbed7a9b63506402450239ea3c

Size: 40,600 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: b9f56901f5296a872aeee17c312acb89a4c33aec
SHA256: 142292f3600844baa5585188aaaa41a6c961b0f951ad2b8158348fb6d87e2a38

Size: 29,528 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: e248ed8570145d6c6360a06d28e9751751f7792f
SHA256: edfebf61d3f5596f6530c24388f20759cc7bbaed6a25fb82de93bd63cd5e6ff1

Size: 452,174 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: 0ba8eeab5c5b6b03113d98a6d379756b356c4268
SHA256: 29291e4e443103ee8a8fc759032b97d08f3419c70ac0148b05e3802545db5430

Size: 5,175,186 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 24711b08574a34cdcad5d686c0adbf4a7899a9b8
Size: 77,253,000 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 6fcda79f392127e0ab99ed241b2d3e0de7f0edad
Size: 186,332 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 4ec5849697f03a4f1bbd012c11ef7992a37f1b1f
Size: 137,046 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 74f58ba3a1351cae2ae2efe7902933533e30f0df
Size: 76,731,838 bytes

Submissions

Submitted
Sun, 14 May 2017 13:01:32 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"