Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 27 Aug 2018 13:40:10 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 25 Jul 2017 09:40:58 +0000
SHA1 of .buildinfo
ba27d481b09fe1c0fc26e2f2e161a21707eed004

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 2e54969e397802123f074f7d8fb8843180738d08
SHA256: 61915e4ef5ec7f338ba8ec96e1cae98c31216b06dec0d2e5b3e69d6e6ac1f9bb

Size: 5,157,638 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: be0232f2a61d9994b3032431a48b9fc1c4c8b7e7
SHA256: 614bd9a50e2029640d57e96beeeca274608fedbefb09c3b836cfca9e24705a41

Size: 40,608 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: 9e6623dd721abcbbfa8ad3b5746b58db86849269
SHA256: 23ab2e4cfa3fec6364f604afc2ca5fc1d5342df6148ee7109c88e5524a6e8609

Size: 29,548 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: b330e1bf190e93513ba04e45587ec70950711227
SHA256: 989ad71c6f9903a120d67f01b4340bfee7e734caf10946cf092cad636a5b3fc9

Size: 450,062 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: b4f1ece623d25ed4460418d4d6bc80ef336513b0
SHA256: b42727b96bd1253448a538a101d5843a5513629a47c7546157ea8759fa8a292d

Size: 5,173,850 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e7f7b74ea1fdb82853efcd0e2e4c84178b7ecabe
Size: 77,243,934 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: ae015aa6059823ac43cf64e00b9c3c5aad3a5a0b
Size: 186,342 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: d7c3937c01e905cd79080e39be77a84b0d83a6d2
Size: 136,904 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: da80cf39d0f975081d77cde4e83ebabaa5f73b8b
Size: 76,712,208 bytes

Submissions

Submitted
Tue, 25 Jul 2017 09:40:58 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (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=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"