Source
z3
Version
4.4.1-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 17 Aug 2019 13:31:38 +0000
Build-Path
/build/z3-FgTZ6g/z3-4.4.1

First submitted
Sat, 17 Aug 2019 19:38:14 +0000
SHA1 of .buildinfo
df0252aafb9ba835e438be0fbe46869838e7aa2d

Binaries

libz3-4 (libz3-4_4.4.1-1_ppc64el.deb)
SHA1: 9d9d50960fb46cbe46454321407e55171dbd6f58
SHA256: a42597a2da2533f3a45a158ed7992a7467e37f556c97228d3c44da48ec8b18f4

Size: 5,228,088 bytes
libz3-cil (libz3-cil_4.4.1-1_ppc64el.deb)
SHA1: 29bafe59aff3548cd22f24a74ad9427d6858f28d
SHA256: 39fe1ea8c3d0a072beec2cf45875242be14cfe845a65b596ceb6ea627a8eddd3

Size: 40,668 bytes
libz3-dev (libz3-dev_4.4.1-1_ppc64el.deb)
SHA1: c3171002a404991fb920ec51516b0a2cb3c89126
SHA256: a8019b9855e98c19233b1fe22a61601c8b84ac04572f1930c8334783a5c33128

Size: 79,588 bytes
libz3-java (libz3-java_4.4.1-1_ppc64el.deb)
SHA1: d27f187178c57bc0a8f81a004fc544b906a70fb1
SHA256: 3b00b9fd41209ea2854c35798f9a8144edfcb954b8d24c11714a14b598b45912

Size: 146,388 bytes
libz3-jni (libz3-jni_4.4.1-1_ppc64el.deb)
SHA1: 3bb4ca1560229bc7c94b15e15d5d97a3d050b7c9
SHA256: 9f58887d40445d0431d5b2108884c61d464c8ad716c06bde392cce649a6ecfbd

Size: 34,124 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1_ppc64el.deb)
SHA1: a751a9010f3f968b1c31946866a6e28ddb501c37
SHA256: 12e377fdfe0cc4db7b7a45a00882fc3211483de9fde5803bcfd2ff9a63677079

Size: 536,072 bytes
python-z3 (python-z3_4.4.1-1_ppc64el.deb)
SHA1: c070a425f2cbf414a3302f07f60a041390f09f4b
SHA256: 1f3b130263080edef948b8f8eab6fffcdb57c6cb494983c7c8452a46dd133e13

Size: 66,996 bytes
z3 (z3_4.4.1-1_ppc64el.deb)
SHA1: 9cc95d87396ab049f9063bf0e463ed800dca81ff
SHA256: 7f144129291d7bcfadd0673fae4727be4ecc21ee2623c57dc8fb9faf9993984b

Size: 5,241,000 bytes

Other checksums

z3-dbgsym_4.4.1-1_ppc64el.deb
SHA1: 32ee8eb14ca68e473898f4d09908b1b4f25c767e
Size: 97,870,272 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1_ppc64el.deb
SHA1: 2c980938524d6dbe1f75021204d9ba098ce8b693
Size: 218,968 bytes
libz3-jni-dbgsym_4.4.1-1_ppc64el.deb
SHA1: 45f5fa910d496f6b263c1c637936bd807cdadde4
Size: 178,588 bytes
libz3-4-dbgsym_4.4.1-1_ppc64el.deb
SHA1: d7a25dcdd81f6575eab2892974fea923eeccf6c5
Size: 97,263,728 bytes

Submissions

Submitted
Sat, 17 Aug 2019 19:38:14 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566032753"