Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 26 Sep 2017 01:32:21 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Tue, 26 Sep 2017 03:40:33 +0000
SHA1 of .buildinfo
05411a39c16b77a5e5f046e3031c3f0935560828

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: b00cd16076d284cadaaebf1243264bdc78754064
SHA256: 4baad3218b95a8a4eeb8ddae85c85dc31ec66dad01413bd8412ee68a1a3e3614

Size: 4,368,202 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: b0028698fc9254dab0b6995bfc9499f0ab66aecd
SHA256: 560fcb47fb994811fe00536ae5a352e7a6410886053c127e55ab4a2d338b7eea

Size: 40,830 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: e8b830c1717aff88cf6cb85ff1eb543b81f1a1a7
SHA256: 254873ff67b8fdb218490fa9c1fbb3e44db0dbfb4f550351c60e7b4ddedf7f2e

Size: 28,820 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: e992bc520a4c1778cf99a94b9cf73a20a3f243d9
SHA256: e03dc731844ebff6422f40cdbff77f04b068c791598c5528c9f81f660d44a90a

Size: 514,604 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: 0b483e4578ae9e22e6b1b9f093154cf4b2fe8762
SHA256: 627efcd1e4ad559be48eb667ed1a7db59e88b63dc1cb2da12befb8ff955b3337

Size: 4,373,726 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: b5c4ec0483c264a21b697bf0199eb684029025cc
Size: 75,205,682 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 754fac3cba0830758e37f370ba3e5823651bfe99
Size: 169,070 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a545d7e5e0f7f463df523d501b34eab2c84fdc92
Size: 145,156 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 897488bce83dc1b380fd3c490f54241689ce9c96
Size: 74,780,624 bytes

Submissions

Submitted
Tue, 26 Sep 2017 03:40:33 +0000
Signed by
0x923D584899E35CB7 jtx1c (Automatically generated key for signing .buildinfo files)

Environment


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