Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 24 Feb 2019 23:35:44 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Mon, 25 Feb 2019 05:10:44 +0000
SHA1 of .buildinfo
20a355d39f8d2e6475dd97bce43607cbd7d7ff93

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 5e1f83f6b2af4e1f5a09950f01cc0bfa9a5ad3db
SHA256: d24431d19529c2291d52610a040a18a43cf68974f47e8c188d30a38a109a92a8

Size: 4,329,752 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: 2b4115e9715c6a1ebf73bca516bb576ce4ce0b28
SHA256: 948251c0bb903d3ca06fd483ad3a2c057bb25e3601fa29198be702bc55207dd8

Size: 41,340 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: e0beee0f22edae4160d607292946ca2a819cfc58
SHA256: b2da220fccd1e5bc131ec32463b95a0d7061a5f8a8196728fbca86ecd850829c

Size: 4,335,628 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 29a22dbc51506de7adcd1e675ee0227f30d86251
Size: 95,316,624 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: 23ef6802a75f1118d83d4fcc4b9c232d79cc6e36
Size: 94,701,740 bytes

Submissions

Submitted
Mon, 25 Feb 2019 05:10:44 +0000
Signed by
0x9538881E43D098FB jtx1b (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"