Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 19 Jan 2017 12:15:23 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Thu, 19 Jan 2017 18:49:15 +0000
SHA1 of .buildinfo
cf56d2b5b7e5d8221e109fd50c892ff2da3c143e

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: da0026c5ff22642450323759900811541479d7a5
SHA256: b05ff654a2ff9b0c460bf9fb7ac3b5da5d8b623531f364554fac27a614367891

Size: 4,340,340 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 0b61d1155f3bb0490788a8f0b2eb3ebbdcd0948f
SHA256: f55f82e6dfc954c5c51818812a6f52b7d8a94707b7629e73eb2448c24de80dd3

Size: 40,728 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: f2d0bb5eb0329ccf123b8270fafd75b92218c1ba
SHA256: a9428075dabeaf2714d318890a2f2b3de17033a2864569473c8723e56c0ca1af

Size: 28,952 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: f9668add47ec3627a5832a7ea9e92b99dc9e06c5
SHA256: b48aad85b171f78b07e356d8e3ff375908b5ea2e9e8f5b58a73355d66d401a37

Size: 462,212 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: 2c91cf83d3071390fe0b83c92337c62eb818da1f
SHA256: 1d39de31e5796819fe3403f20e313cfc5b1bbc2c9b9ef0476ac9b73d5f56c729

Size: 4,348,762 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 9b0accc5755d2d16a537e7723b2306e45cd1f5cb
Size: 75,175,948 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 25f67d7458bd43e65763094656e8e067b79f4f09
Size: 170,872 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 6fbd1086d110e5b8b0c16e0f52aa29c33aee3246
Size: 145,610 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: fc0c663e7f3fdc58e87c57e10d7a2fb5cca62fbd
Size: 74,804,986 bytes

Submissions

Submitted
Thu, 19 Jan 2017 18:49:17 +0000
Signed by
0xF953D4EB72400A7A cbxi4a (Automatically generated key for signing .buildinfo files)

Environment


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