Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 25 Nov 2018 17:04:27 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 25 Nov 2018 20:30:37 +0000
SHA1 of .buildinfo
38ef08bb1a33d2f9cb1182a81aaf25651b386827

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 0dbb1f8947a8e0f778a1e337d5f3db70dbde57a2
SHA256: 453b070d69f0f3f04f8336411172b85aa6da7c8fc017eab9d4c9b3644d3fcdca

Size: 4,288,184 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: 93bdfb47befee200c0bc5cd7a78ad6312452f33d
SHA256: 5b5d389a902f47bb13b912b67e003dd91219aa393bc9676dbd90a031b5e6351e

Size: 40,892 bytes
libz3-dev (libz3-dev_4.4.1-0.4_armhf.deb)
SHA1: d876eef98da09409b08c38d4b3abba54481342b8
SHA256: 2084ade65db65312ad6b65cf8724afb83e1eb0333ce8c692d079580bc45057cf

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_armhf.deb)
SHA1: 48c16f6690e3d4127deaf16e7823200ddcb0ed71
SHA256: bade7c007d6c3ac4acb643450ef9d86427a009ee4bd12222ad7a4affdaa88018

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_armhf.deb)
SHA1: c5ebcf766c3a60f3ebb564229a7a262d74c28528
SHA256: 3de90d7067be6b755928b1b286f758ddea2dc90e35f6e8a7b486422b8ffe68e9

Size: 28,888 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: 43351c794613df513883bda2df0d9522d8abd1cb
SHA256: 7ab7e27e1e3b0e4d67d2951c1ca19b7c8e907b9208488f8a1f8dc5805cbbb97d

Size: 541,312 bytes
python-z3 (python-z3_4.4.1-0.4_armhf.deb)
SHA1: 503990694a19c3bf43a4e2d6db88bf42d946f51b
SHA256: 0a337858ec63aa9b9eba238cce60d59afb841b2fa992f74241a83ab1b64d63a9

Size: 67,000 bytes
z3 (z3_4.4.1-0.4_armhf.deb)
SHA1: 71b92bbd456a06a45e97d5769712d86668ec263b
SHA256: b11c5743d6993bc47ffb56169b56d11983e8bb140bb3bc1de7f230a847ebf567

Size: 4,294,864 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 3485f9118bf31192443562b2b70a6d01a62c265e
Size: 95,103,556 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: f4ac7f5f2b3b49a2d575e90ece5709506390e09b
Size: 217,332 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 4bb7374a3258ef51825a04bb180f294f047e2339
Size: 177,868 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 4c69de160c0e4eac76972d9d7bd9a606b0fdfbd9
Size: 94,298,384 bytes

Submissions

Submitted
Sun, 25 Nov 2018 20:30:38 +0000
Signed by
0xF7F2097D55C669EF bbx15 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1536521312"