Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 20 Aug 2017 07:37:57 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 20 Aug 2017 09:46:58 +0000
SHA1 of .buildinfo
454ebdd93bd77300a0e1df3b223ac932947edf19

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: bf657a8268184c9946ceee6a1c0f964cfd8e52b3
SHA256: e598ae928a57cc73c3f48007e3d17737dba3a8d2b730700b5684ea87aeebe742

Size: 4,135,794 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: e4a3a65f5cc70eed51af401076527c95d9af9a72
SHA256: 59aa55d902dde191829eefd16ce743762b078d273f1ef3d8d29e81e47d898f9f

Size: 40,682 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 5f61103f5afb6ef66a2c822d855f27ceaf7811c6
SHA256: b8a17836d198fc5448e74c93d20361d4ecea418e8ae22c94ec8960f3410008bd

Size: 79,176 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 242e85eb64fa7be113b57f44c3b2b113415dc117
SHA256: 56f488abff8aa9e681ccd441e5193937b2a0131f4d746ba4ef8bd6abe0d35fda

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: 9fc9c1a9ad653c2cc36b7f15acf211e22c9ba9cb
SHA256: 53995e0ba49456fab88da400062eb6459af41f61adefa4a261db398fe29d63e2

Size: 27,118 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: be36cb58edbbcabf74bbb3e6c481534913244322
SHA256: 39827d75861c6572eae3790e5d439040140d72ee90115ae34b6f883ac9c4ef83

Size: 465,548 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: eb37cd59f9d42e2aa1ad524fdc63de20ddba86b6
SHA256: 7a25c17376406c8ebafe9fc7c39f5ab17125442842d96ee33b8b5293be72cf72

Size: 66,922 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 869f8b54a9650aacb3339be5d0744cba1b1c2789
SHA256: f9a5e5d2cfbb9674dcb8582db3855c163d3e8bb524af6920b0fabb1788efd533

Size: 4,141,976 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 272dbc13c817dca9955e6e6a4769b5e7a02c9025
Size: 75,443,824 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: dc766da5626e1daf91ac032c09b33dc9aa3c66e1
Size: 169,602 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 39f468546e1b1c7162086fccaf5fa712f7195831
Size: 141,780 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 9eb853dd7a2a94c0c2f08d4bdc14a51196bb23c6
Size: 74,462,522 bytes

Submissions

Submitted
Sun, 20 Aug 2017 09:46:58 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"