Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 22 Aug 2017 10:55:21 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Tue, 22 Aug 2017 13:00:49 +0000
SHA1 of .buildinfo
5f0129704cedbe350812a589261f80e2ec1abd44

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 10c9aa45fa14233ab350d91783e0b4bca012822a
SHA256: 86abceef6d1836c01da874e2410702badefd735dceb3a6b3ffe19867d412dea5

Size: 4,137,436 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 22d7758d9d88e72c2c6a4816951abf92c709625f
SHA256: 6af29205d83c07a0d6e816ff642a210d8790475e53daa09198e972f97baa351b

Size: 40,846 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: 6634109f5a8a43807436302a59b0cc7d9ceb54ff
SHA256: 6dbdc74c5a3fd2cfa5a2bf8bfda0fc4d5f11de90ca6e43ae1da8d679df6de1de

Size: 27,084 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 5fda84cce84e337de866be6fa340d1634ddefe52
SHA256: 03d5a30fe88ad71e8d11a30412ecf5090b83238b7246102e960ac07ac8b20317

Size: 457,250 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: 3edec445d88841cf6b0d3a2b139a3717d55fce39
SHA256: e6c346e4c2a4c176dcb6cbbb83f0604866c3a9f31add220023d1408f26a6bc45

Size: 4,142,326 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 218bfbc0397facad34176ab439d5efea9753c0e0
Size: 75,145,694 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a0b9310bbf065d200207b0719a30345b68b1f962
Size: 169,662 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 58b95280edf370654738a70af27351a6144f9ee6
Size: 141,762 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 7bcb06a10bdc03abcfaeb38a6e683b88d5ef1e5a
Size: 74,626,094 bytes

Submissions

Submitted
Tue, 22 Aug 2017 13:00:49 +0000
Signed by
0x9538881E43D098FB jtx1b (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"