Source
z3
Version
4.4.1-0.5~exp1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 18 Sep 2020 12:11:33 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sat, 17 Aug 2019 06:05:04 +0000
SHA1 of .buildinfo
3bc51cc935b412ae620dfee1be682a4837c01c92

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_amd64.deb)
SHA1: cb046e5af234802278eb6f73b06db88f4d8999dc
SHA256: 4c823051b6159fe417580a61ec80be0b9ca91e77fb30860a9f416b2d13d722a0

Size: 5,277,588 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_amd64.deb)
SHA1: 8849d2fedc90966d7f0fbe7796288fbe94a5a621
SHA256: 172c4ae0d2c085d4c3ea719efb9c491f818f2235a2d6af938f5f82fd571ae7ec

Size: 40,620 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: 9127f506e7b9c20c5dbc17ca2f2f50c07377923f
SHA256: 40be2b82b0cc0ccc26ab62f296eae4ced1f6654ad326dbaa82718102496fb05c

Size: 31,344 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_amd64.deb)
SHA1: 369e585a4ae46c7ceeef3e8cc90931a9aab836ee
SHA256: ae8955b45cc8117e846cc333c8b6f32a4f4ac0a2a2ceba93468003eaec5d2625

Size: 516,648 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: a02d0008f5c176e043b302090c8e116497d24573
SHA256: 57170b697991e95f29a16329f39a191aecc5cb277e456a35f6d799fb0b51e384

Size: 5,293,044 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: a6df6f0aefe8514e20b2530253ed89f46d9a05bc
Size: 99,999,592 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: 268d79dd6bf26d92a84cb05c72d1e45e4c1d66ea
Size: 213,656 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: 8c7d66f7e94b6231bc9d6c1fc7bb5efb9161d790
Size: 171,276 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_amd64.deb
SHA1: f31a5308e6f689393b9c73651f4b9c1a26848748
Size: 99,400,016 bytes

Submissions

Submitted
Sat, 17 Aug 2019 06:05:04 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"