Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 22 Feb 2017 11:48:33 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Wed, 22 Feb 2017 18:26:56 +0000
SHA1 of .buildinfo
49a61762a42026ebf52c2708c80158b3d849d173

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 244bd5212ce3536bcfed4c7a8c9588e73efa3279
SHA256: d4d8d1db3eea87a27a85bd8017974c1b1b7d89d3b2137003111956f79ff39383

Size: 4,315,352 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 0eac43aedc1f32a46ff787a0d875e93228736c1c
SHA256: a255b0c19ee71e46efc77c4ae0ce0eb93ee8d8b9bd72d317093ebebcb8c9b8ef

Size: 40,908 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: 5d2acbeea0f47f18183ce339d39eb3e07dcd25e6
SHA256: 2d3db35e4d1af93e99c98935cf30bc769e1dd3de34cc4a8df671f8e23fbb385a

Size: 28,902 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 24a9ef27e1e6ef7008d705cc149c9e692177f88e
SHA256: 08e7fea2f691c9f6aa9b44dd7e5d51addf7825668ee09ed71957867766fbe31d

Size: 463,810 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: 48849045de04221cc35453d66f3493e42245514c
SHA256: c4759fa7658a9afd860642521c12efa96103dce00f8cdf5bfc9a54c5187deee2

Size: 4,322,662 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 00e650b2115c0f5209cdbcc56841308b3c7a638d
Size: 75,128,288 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 3de7fe5d50b984b65f6b4c598f4c4163abe473e5
Size: 170,800 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f2eb6e2de01d972538142d5cb9fa6a241eb273c2
Size: 145,400 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 79b4063c180b680f140a40621f4ff6e486b11e17
Size: 74,636,460 bytes

Submissions

Submitted
Wed, 22 Feb 2017 18:26:56 +0000
Signed by
0xEB4D5BE69457859B ff2a-armhf-rb.debian.net (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"