Source
z3
Version
4.4.1-0.5~exp1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 15 Aug 2019 05:58:01 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Thu, 15 Aug 2019 14:24:22 +0000
SHA1 of .buildinfo
6d4e8e6f7d7a52ef867113061f9d749e2af2dcba

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_armhf.deb)
SHA1: b07a18ca233797e3229a93ca15374c5dfea10d81
SHA256: f3fa3d0d1337c75c17412bbe7f6f12ad00c6fae8a56d3e606c6117fcded05c36

Size: 4,466,952 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_armhf.deb)
SHA1: 9209833560f43be89cb830753aa84abf03a2a95f
SHA256: 0b149bbc0bbe25ebe88774d55065e8977597a592dfc93cee9ea892fb58dc1651

Size: 40,748 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_armhf.deb)
SHA1: 90a4f3b32a21ffd4cdf306b688d1583ddf28adff
SHA256: 7aa41102dd354cbf1d680354c6bedfda3b6da272c9828aa80d1847724737899d

Size: 79,528 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_armhf.deb)
SHA1: 3692c96b192aba8923427a7f3ff98b128174210a
SHA256: 8e90e719cd15e1cc10d1def46900e489db5853723b5bf02f3334b0b15a8d8078

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_armhf.deb)
SHA1: 64b8ae28a435c44719dd7e9ccc0c8966eeb4f0ac
SHA256: 39ae888cfecf3d17f045f2f28f9f4d4db38195d5a227e1bbf82fcfcfd462804e

Size: 29,504 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_armhf.deb)
SHA1: 5ad3ed598f41bcf326c156c4a611578eaec011dc
SHA256: 41c9fd68186b635c4262b866242c19bfea2c01da479112804173fb8fb51eb481

Size: 543,760 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_armhf.deb)
SHA1: a19865e7340909f6ac235ace18cb675769a1df33
SHA256: 749f5951790729af4e5e3fdf482e994d168c9776c600080a5e9ae99c792d0656

Size: 67,032 bytes
z3 (z3_4.4.1-0.5~exp1_armhf.deb)
SHA1: 6b9661e6e3baa8fd65c13a6f333ff03c38c39ad0
SHA256: 30f605d30c8d7b5325c6b22f124c900fc373c4f47ded6ca70c945cd7f91dc0d1

Size: 4,473,448 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: 4b0e34ac090c10c76be389a023f9b495191081c7
Size: 96,862,376 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: 9427189c76e69cea3b7d60a258c33cb4b578bc8c
Size: 218,524 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: f7f774ec1bdf3e1482832a5958929e2f6c9de23b
Size: 180,044 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: c9ff9468e48528080745b59b7d76f23978793598
Size: 96,289,696 bytes

Submissions

Submitted
Thu, 15 Aug 2019 14:24:22 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


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