Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 22 Aug 2017 09:42:03 +0000
Build-Path
/build/1st/z3-4.4.1

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

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 99b61cb1f1d235e7e31db8f5203e48448ac98bba
SHA256: a43755ddc1ac94d501c5f77aa87a11fe61e4162c4da290229d1b6cfab8baed41

Size: 4,136,980 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: ee17a9edfbc9916824aae17de9338313cb8616a5
SHA256: 0f13ec08530b18234b10d1e73641b811d1609efcdd695253fcda3e588d89eb0e

Size: 40,730 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: aa9a8627092cabafcac85b362776bb5049c7f548
SHA256: fe8b82b93115c8464ff1b4e068274b3a8601235bc449f7074f2e68ad81751d3f

Size: 4,142,984 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 3f790020f3ed0f7861043c819615685b91abfd06
Size: 74,982,220 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: c0e65626bab1065d11449efb7c8f6580296894af
Size: 74,617,026 bytes

Submissions

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