Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 12 Aug 2018 06:59:39 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 12 Aug 2018 09:07:38 +0000
SHA1 of .buildinfo
62acc8bae4a75880e9746025b74d665673a3be57

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: a30a97e8fc669fdc23c89960436ee6a02d582a51
SHA256: 0779e67b60ee386251c8710a5b34c3bbc05b42b68d9283200400d9b745ec2e79

Size: 4,289,616 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: ce64dbc5b05f7a9247d0a0ea9830ef6b233b89bc
SHA256: 1da608b7370f7cbe5b6250f1c24c60c15b14ddd71a3c379089e484a92d41ce39

Size: 41,048 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 1f77483423ab4ecbf7004dd3349e7001df05931e
SHA256: 1ab52de86781a3ce55df006ff2db20555d138deaea5ee2a222b3b7a2bf254fe7

Size: 79,252 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 7e059e840d42bff7650fb5d1ba9157daecd800e4
SHA256: 1a9db47eb5f2ef7b86f62b76f81cff97704d64128f4c21095c5fc434f0c76b92

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: f5ba6f23550757523349809727e4ad0f7884665e
SHA256: 1cd1981ecc75891da66ff79c5b897390fbfbc940af28bf2216e6b3070a818101

Size: 28,860 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: e04ffa88e89fe3d61c97ac6dae4aa62a68f68406
SHA256: 8c89089fe669a3783295f20bc444d6bf60b35b9221391091edeef2c82ebaa8c7

Size: 537,092 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: 594255a4a322121ce9af4be24d43b76e4f911115
SHA256: e030ce0f04e7240c413440d0902b889d9f8941a10a175ebda0aca112d085cb00

Size: 67,004 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 0715925a4d05d6fa9fc9776c853199d35ff629c0
SHA256: 3699741e46bcc6c018912527ce25f49135349d1b24dcac280d26fbb65547d218

Size: 4,296,560 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: ce5fb5f2dec43f28cb9b0a1d049df949c3642f57
Size: 94,792,256 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: ac0c4beb484dd96c4a22dfead9bda697ed3d50f5
Size: 217,312 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 8488e304d23a60eff4cfe99ce01d31983b23ff62
Size: 177,680 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 6fb68ce90669e5f127707085f7ebdc7652b69991
Size: 94,317,840 bytes

Submissions

Submitted
Sun, 12 Aug 2018 09:07:38 +0000
Signed by
0x9286832C95410989 p64b (Automatically generated key for signing .buildinfo files)

Environment


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