Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 11 Jan 2019 11:02:38 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 11 Jan 2019 15:15:39 +0000
SHA1 of .buildinfo
cd6f04da87c18b01bbc95cd76612c752a1b16d4c

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 017cbbf4e867ea1c3da680b78e15d93a24aa427e
SHA256: cbd71c8bfec9c07022e6ef47ce798cb6266ddee56e8408d25c02c9132ac4d606

Size: 4,289,172 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: fce62220a463d106ff624584c9b76f1c90f1b665
SHA256: a328fa7753513769c9b890175c0c80abe1085dacc26dbe0e5958b551da90faf6

Size: 40,688 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: 0b8599f0a29ac4063b2b3d0f5e216d9bb58b708d
SHA256: 9e9f8e9c181a636b2d1fe5f97926e01c2ded8c6535e6078e9b84977a0d799eab

Size: 28,900 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: aafb6dc519ea11237d45a98663ca9e592e2ed98a
SHA256: 094031157d44bcac15ccaee6b77ff4b8f20d59015fb86f4b8135de38bff5d3e4

Size: 537,920 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: c000533948aa3e8defba7bf0a9a40ce80d372b80
SHA256: 7ed11a5b601b07cdfd99b0784fae238c542c418febe466cb65a06163d80ed8ce

Size: 4,296,808 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: c49456223aae90bf88a1239755db1ee4737ba97b
Size: 95,361,300 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 2de068ca9d586b60247befe502a2888af0359fde
Size: 217,484 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 245e886f6f91f976c44432b44ee9c721198933a5
Size: 178,060 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: ceeb39c1d7a9be6f7ac05a7b92504213adedb57a
Size: 94,297,220 bytes

Submissions

Submitted
Fri, 11 Jan 2019 15:15:40 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


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