Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 17 Sep 2018 07:12:49 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 17 Sep 2018 09:18:57 +0000
SHA1 of .buildinfo
d6c71b7866bbd0867bdd6d8c9188fc09bf0a767c

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 189a41d57dc0c448da315b72f6ea08dd9ef5286a
SHA256: db794a33e852fbd897bb3799aaef843b033991e04cc87da0f0be53504e1afd40

Size: 4,285,280 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: 649a511da751cbd98ffdab087bedc226caf8748b
SHA256: fc4353dfdbd995f5a2259971979e5a2b53085ff32908410141f1a0cfa364087a

Size: 40,720 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: a250f1156e283eca850a29fcd474eb3000cef85f
SHA256: f5e628bb23a08d95e06bc5c09ed8303d9bfad99d6cec2aefd217acb5b42d0276

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_armhf.deb)
SHA1: 8d0011f8251d598064485c3c2ae84c1007b46288
SHA256: 5c2ff90a466ad31d8efa2d8ce24553aa5288caf13f47bada563a211916e14fc2

Size: 28,860 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: 759e077d38f79d062ee502f10455f1782d6fb1af
SHA256: d22586d8eb99db020e78085a22e75d258a389df80f24f665c8c1b320f9c441bb

Size: 536,620 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: 9a738c3f39469b174324b35cfadbacfc64e6ae16
SHA256: edb4b2a11182cbae06200b3a90902a952dc8622583541074197627f196e292d5

Size: 4,291,788 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 375fadc9cdcac5490d3b2b3dff2a3dbab2cdd3c9
Size: 94,713,968 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 73ec3918c8dcbac4234fd97b352942468b832a9e
Size: 217,332 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: c0f7121a672091295abf1834ca6029b0fb89f679
Size: 177,720 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: df5543ebfee6d93fd310bdb71c91b2d3d78d75db
Size: 94,199,140 bytes

Submissions

Submitted
Mon, 17 Sep 2018 09:18:57 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (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="1536521312"