Source
z3
Version
4.4.1-0.4
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 12 Sep 2018 00:06:05 +0000
Build-Path
/build/z3-nQrXuh/z3-4.4.1

First submitted
Wed, 24 Oct 2018 10:45:07 +0000
SHA1 of .buildinfo
00f8d3cf21096254e39b5ac2227f0f5fdf2a57b4

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armel.deb)
SHA1: e769babc58157b1703c468f620a4bdc081913cc7
SHA256: bd45550e217ddd6a341c14d6414c40d6a5b70d655c4a6f8625dc595c40fba3c6

Size: 4,031,568 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armel.deb)
SHA1: e6054d580a8e4243d41d148287be581ef7b77355
SHA256: ca3444f5efb8ec3a071c6a540132ce97418e7c4d5850d8ee127febc96b8d18c0

Size: 40,656 bytes
libz3-dev (libz3-dev_4.4.1-0.4_armel.deb)
SHA1: b199b50c72c4dcf17cd11570873873da9b86b1f3
SHA256: 07228cfd8e2dc767f19f182169382b877c396c7279846ebbe7b5fcc2fcf7f470

Size: 79,352 bytes
libz3-java (libz3-java_4.4.1-0.4_armel.deb)
SHA1: 12909492ff039c4f212ac771f6a52b21a0bdbe19
SHA256: 39456003ff57cf677111e0aba6535a41ad3fae62be7d586bb39399aa29c24545

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_armel.deb)
SHA1: 3e6950f03d16100de14fefff86da1d3af96d9c2c
SHA256: d1fcf8571bb423d73ee1d1286849d8edbdcad240b1c1b1bded7855e3aa8c0ab4

Size: 27,332 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armel.deb)
SHA1: b5cbf5fd979192cde9ab5391ea580175936d500c
SHA256: 681890600a5658206ab7c10ad534aaf239979750b151370d75ea466457add175

Size: 346,464 bytes
python-z3 (python-z3_4.4.1-0.4_armel.deb)
SHA1: 518ff8f96a16681046148e53698e5316a996f791
SHA256: f7e3c85417f75aca671784713b4cea579433ddf7e2075e1b096fd776b88d7bc3

Size: 66,996 bytes
z3 (z3_4.4.1-0.4_armel.deb)
SHA1: 2d5949ff12fa5fe2d8621a1378bf943f980b705a
SHA256: 051889141e4df3ec3b1a51d6f466a9a46d26489d8aaf5834ae2d108bae02a756

Size: 4,036,372 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armel.deb
SHA1: b22cd448b2f64422890793b059336c9549b704e7
Size: 94,181,044 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armel.deb
SHA1: c4e0156f897dfe4f4f28a67feb92592135750535
Size: 211,432 bytes
libz3-jni-dbgsym_4.4.1-0.4_armel.deb
SHA1: c93148eca218d0d68b636b3245b892c7ced6afde
Size: 172,216 bytes
libz3-4-dbgsym_4.4.1-0.4_armel.deb
SHA1: bbdc1baac213b650746aed9f65daef24241196f1
Size: 93,616,632 bytes

Submissions

Submitted
Wed, 24 Oct 2018 10:45:07 +0000
Signed by
0xC0781E3B2657E942

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1536521312"