z3_4.8.8-1_ppc64el.buildinfo (view)

Source
z3
Version
4.8.8-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 6 Jun 2020 15:59:04 +0000
Build-Path
/build/z3-kwqMBV/z3-4.8.8

First submitted
Sat, 6 Jun 2020 18:15:57 +0000
SHA1 of .buildinfo
447e80543cadd7831b1a8e149d268f784cc4375c

Binaries

libz3-4 (libz3-4_4.8.8-1_ppc64el.deb)
SHA1: 8f08c0749bd26a323a5a671fb27102ea02f5d6d0
SHA256: b637300b5d56addaf8f4403a0cd6ae831fdbbe6768eff966c180bd478677e54a

Size: 7,230,284 bytes
libz3-dev (libz3-dev_4.8.8-1_ppc64el.deb)
SHA1: 3ee8561d633d2de67003518cb99abd4a85f3f1c4
SHA256: af3966017e697e3adb7d998c74f9062fbc071d1618c0353099a725bc34e54737

Size: 88,280 bytes
libz3-java (libz3-java_4.8.8-1_ppc64el.deb)
SHA1: b2b3e64d4e2c3f6b495f7f0fb840d19b93b0fbbd
SHA256: ff1e53f9cee208bdae46e49b2ee3e5ebe9aff398ce396eb458a5d412328a0f17

Size: 154,220 bytes
libz3-jni (libz3-jni_4.8.8-1_ppc64el.deb)
SHA1: 830be03b7edadecb07d1838b2f15d9955f55459a
SHA256: afd14005d3468ae0f8fb5687b173e639ac2866b324ee685d579d934fb36f836b

Size: 35,684 bytes
python3-z3 (python3-z3_4.8.8-1_ppc64el.deb)
SHA1: 2bf5688470cad7b12127235c649583e5ab3e2d1b
SHA256: dc400f873894d13a659e4e280dec78e67fa2e3cfd71795c11c4352719d78954d

Size: 76,716 bytes
z3 (z3_4.8.8-1_ppc64el.deb)
SHA1: 4d81a7406314363880986b71ddea497b72fd2153
SHA256: a63976c2c2b1fc1313d1f39fc90dbad8d2c65f453985e9f223c5046bc5fb67ed

Size: 7,235,924 bytes

Other checksums

z3-dbgsym_4.8.8-1_ppc64el.deb
SHA1: 69bd2c4d235f5c80073256e26aade11ef56dbc74
Size: 121,419,808 bytes
libz3-jni-dbgsym_4.8.8-1_ppc64el.deb
SHA1: 190a6c718b68c68357808ec9a6bbe5d5964641ac
Size: 189,800 bytes
libz3-4-dbgsym_4.8.8-1_ppc64el.deb
SHA1: 3827518c39300c26558ac21c84adf58ff717849c
Size: 120,054,016 bytes

Submissions

yb3opax3
Submitted
Sat, 6 Jun 2020 18:15:57 +0000
Signed by
0xAA4B2251A9397852

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1591453977"