Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 1 Jan 2017 02:33:41 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 1 Jan 2017 03:02:39 +0000
SHA1 of .buildinfo
8db5aee807dad8917f709ca2d27bf2fea82bba11

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 250904ccc4b54ce9a2c78ad8d9a8b8ee71a68a26
SHA256: 1f256b943d95c09d9f096d486e7498675e5680f89f6965da4a35e0f87c7f7243

Size: 5,158,500 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 07b4a77d12b6d724deadb8f28b5d9d9b8d0d5b71
SHA256: 88be7462726ff578eb096a1929c82aa9e89f5ff2f33771b051ffa692b3f32209

Size: 40,606 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: d0344c95eb91bed569dc8693a348c3b9cb2ba19f
SHA256: 6668f058d8108f28c873a21682063aad1ff1b1fac7b44269804212a0f1b343f5

Size: 29,546 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 9dbd8977112f39db3eab99109aa84d1c1df12b7e
SHA256: 7318bfd81e4516cc508647ccff264485ff3603d253c0bf01b84945da6f9a7dd3

Size: 453,158 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: 4f9a1118b51e06582a2f459c00f10b6cd1dc4726
SHA256: 699666c2c623814c9b71dcd552021b0ef892b490dc8df30f0a081668a3a06f68

Size: 5,175,322 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 68933deaadbecf68e17b8ace797770ad75f867b9
Size: 77,233,520 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 34f99d68dbfc94822ef33681697d3646abc21526
Size: 186,336 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 070903081ddec4118ba5b4370ea5631692aaf43c
Size: 137,110 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 435750520699153326a98a7dd144ba81632101fc
Size: 76,711,314 bytes

Submissions

Submitted
Sun, 1 Jan 2017 03:02:40 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"