Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 25 Feb 2019 03:08:58 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Mon, 25 Feb 2019 05:10:13 +0000
SHA1 of .buildinfo
f24e5112bd831cbf0070db11e790dd5bf116a7bc

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 99e96d6ef20b34565bb415561b59f0e417c85058
SHA256: 68bcccaefbf90127fd5c51ecaa3e2ea135ae81101b5952d625ee7416edca5344

Size: 4,329,476 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: 06e7c41dbd3b06c9e660896597410df9b4ad95c0
SHA256: f8d47ff1b3adf3fd2a0c8ed6da36fd7e5adebaf1fcc04de464b54c33a7105ca1

Size: 41,124 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: 92da445194a47bf406a756eff3467b32488d1f65
SHA256: 6fb91b7de39af1eb8efbcdef60cfc93c157c8d0f5eba755c5428b520e9c5826f

Size: 28,904 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: 1a1da875fd2bcda6c21dc44823835c332e605c11
SHA256: 6511b3fdf6f87df864fe0f34df7bf5db82e7f02a09b4a31fe169a74dab59aff8

Size: 539,516 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: de816d575cfd67531828bc5fa8178e4d91e411b9
SHA256: 53c4aaf1c3661ec990965f5ac2d09e5b75776a7944a4db5abb3f9aec942b8d21

Size: 4,334,436 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: fdff0fa07232975f4e6e70cf25b95f916517cb8e
Size: 95,135,040 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: f051478b0d459c8ba15330e58e08a96c6ddaab88
Size: 217,468 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 330d8f2865a0b4bf0cef732dcb22f0fd4bbe77b5
Size: 177,900 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 457a9bc4b35f16e1672bf9e27dbb3d64d6016077
Size: 94,547,540 bytes

Submissions

Submitted
Mon, 25 Feb 2019 05:10:13 +0000
Signed by
0x8AEA1470736A9EB3 cbxi4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1536521312"