Source
z3
Version
4.4.1-0.4
Architecture
armhf

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

First submitted
Fri, 11 Jan 2019 15:15:40 +0000
SHA1 of .buildinfo
d4d81333b9d358126025b7cf04d1d07ad406aa60

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 34a1b283f0e0446322db73ea348dda5ed487ce0e
SHA256: 30f657dd607a093de13e0f318df7edfe86f3d4eee51180b18a88c29b41ecbb01

Size: 4,287,812 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: d4dc512078b241a0dd73c762199e3d42f6a5b6f6
SHA256: a988a41698b648fc03831714fe37c708a11e5714a6524c05a86c809fa98e1f7f

Size: 40,896 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: 78df588dcb49f9b3050496bddd7cf7231f9abb07
SHA256: 9ca74660135886f6b0ee97b45ee19c7e6920847200f1f4f77aeccc8bb5cb6623

Size: 4,294,740 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 49ec932bdaf81c227953551bd8c2b9a186f5f9b5
Size: 95,127,596 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: 12f84a0b017751d78eb7e2567fb3ec81560d1248
Size: 94,312,492 bytes

Submissions

Submitted
Fri, 11 Jan 2019 15:15:40 +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"