Source
z3
Version
4.4.1-0.5~exp1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 15 Jun 2020 08:59:36 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 14 May 2019 02:58:38 +0000
SHA1 of .buildinfo
1d92f306e5ec4a793400d1a171275961708784b3

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_amd64.deb)
SHA1: 60781e0f56810e784514c3e7bfc106bd3220f127
SHA256: 9ccdda99abc6228459343c90caa51d2370b0db9a7e724595ca47e6a6f5995f5a

Size: 5,245,816 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_amd64.deb)
SHA1: 293f4c6d22580bd53bf73f5ecfadf3b0402b5523
SHA256: fad94bcd6062ffbd1c173a9fdbf3e10bcf233fe98a8a22fc4a41aa204d5cf804

Size: 40,616 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_amd64.deb)
SHA1: fd0ff2d52d7fb501a1705e14c51daf8c53a9512e
SHA256: 7f0ee8dfd019e66a9a09b4dc2022a7edeebffa03602c2b388cba204395dde306

Size: 79,528 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_amd64.deb)
SHA1: aa6b9aa25678d7bf393f519cfef229f433b791c7
SHA256: 1b8343e8a885c4c9dee935f7aefd869fbcc3d2a4f5e3b0e958ad1004f0d3160d

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_amd64.deb)
SHA1: e0423a0cef8a2ba69e3883436cdec3619aab78a0
SHA256: 5e9c510adfab2a84e7ffc8f53b9dbde9e61c0a53b8c8fc4520fac5cc0de2d824

Size: 31,808 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_amd64.deb)
SHA1: 99246a4082df55705c76f650444d4bedc4fd3619
SHA256: 90452c49993fe317cb62657e46b0b786a4ecef1705aa869d038876505e3acfbb

Size: 523,668 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_amd64.deb)
SHA1: 574ae1b7fc3c1d1a7ffc549294abc0d90cb0400f
SHA256: 07372851260648dbe4382110ef6b7f53d5d20c944826bcd6882120466472ede3

Size: 67,028 bytes
z3 (z3_4.4.1-0.5~exp1_amd64.deb)
SHA1: c48e0c8666aacda7023fb245a41e1ce2e70bc39f
SHA256: bee1331fc19f439f31b9d19523d7200a78f224b00b1f850c3720762991ca4504

Size: 5,258,976 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: 9fa92b01d3893a599c85c911aa0284de6eabf62b
Size: 98,905,744 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: 65185858dae90d3c4ed64f06fc62791c02fa6d00
Size: 218,916 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: 7f158b70655e11c4f4b39afc4425976729a9bfa4
Size: 168,612 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: 78c8f1fb95d9daea7d9b00a2a527bc83cc501355
Size: 98,302,952 bytes

Submissions

Submitted
Tue, 14 May 2019 02:58:39 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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