Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 30 Mar 2017 17:17:11 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Thu, 30 Mar 2017 22:35:48 +0000
SHA1 of .buildinfo
e2e8b352b2e45aaafd1cd7ed0be77ef916a04522

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 022f38739d62ccfad0446f8363192f9fda0d2938
SHA256: d52f0edb994741c69624ba4dc856ffce6ec22c6bb0b69c321f59790674795dfc

Size: 4,314,914 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: dba753f1b79a16251656486b77957f97073207f6
SHA256: db336a8efe02afb85983dbbb737c3916fea6a0c513270024b7bc5f2f82d38d51

Size: 40,818 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: 90df5dc8d5c17de28f9fdef030485fe6af1f4e5d
SHA256: 261f9b727668694a1939bc8daebd91d12bc7b3f78e25e73a613248f5175b6193

Size: 28,932 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 57873ad474d61860dc5b1b55e962afc1674aead9
SHA256: bc53172f935776273964745137cbb486630b894b880336419d99c3d9b70ffdaf

Size: 465,304 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: 9cd46612b197344fad180a47d0d95f43072d73be
SHA256: 91c1e18e63b4d66a48ef4bd6b632258f40fea1ef70479ca9a545876ac1ad5fbe

Size: 4,322,728 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: cbdbe84eda7f66c9f857789e2bc3cfebc288bf79
Size: 75,187,460 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f40b1e7cadc736bb4790e20040c5b075f877a8fa
Size: 170,878 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 3bcfaeaefe960a4b894118bee5b55c9b342419be
Size: 145,558 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 02dcbee478687909c564c97b0a437df96ee90b35
Size: 74,428,178 bytes

Submissions

Submitted
Thu, 30 Mar 2017 22:35:49 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"