Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 31 May 2018 17:54:02 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 28 Apr 2017 11:31:27 +0000
SHA1 of .buildinfo
a8ff0ca555d727717dde6c8e53d7d9d675484914

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 8aeb556f0b6c57272d69e0e2282b1f43d8077fa5
SHA256: 1d649df4d75281f754c5de70b1d5716ca6d0f986775069a6ed72d03488f5d758

Size: 5,157,844 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 3dba5ad27273bc0fa43ab0897681bace56b12c7b
SHA256: eaf9410b97372efa68d038ae19c6850b05f1d5bb623d5b60b3c66e6837d4653a

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: 6aa4e11c44ed41ca69da820204e3c1654231779c
SHA256: 5fbdb4cc85b83f72d2c141b6057a900309330ae48bec020a1e5748b3fb9e0a34

Size: 29,526 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 469fe503afd8d2f1eb8acb15c470b473790d21e8
SHA256: f2ed27667a39b358cbe75a3d682d16cbc3372e572d88f4ba1d7e58f94aa84cde

Size: 453,402 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: 3f3ab0935fd99e35b2a4237ec2a9693c4d4b7df7
SHA256: 9f3d2d9fad1f23fb6a08106747a52583d7316c01eda06991c14ff4e17ef4b35a

Size: 5,174,728 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: b5a0e686ff5a13e976f3642850ed0dedfbcfd270
Size: 77,253,972 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: bea4ed1b8522bb9841d05453480d1e1914a8388d
Size: 186,376 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: de230d75ee9cadc74825e6ee98d85374ca2176c0
Size: 136,986 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: eccd0207aebc6a1b7c96720eb4f77b15aeda27ad
Size: 76,720,628 bytes

Submissions

Submitted
Fri, 28 Apr 2017 11:31:28 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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"