Source
z3
Version
4.8.10-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 29 Jan 2021 17:56:23 +0000
Build-Path
/build/z3-9qvaYe/z3-4.8.10

First submitted
Sat, 30 Jan 2021 00:10:50 +0000
SHA1 of .buildinfo
41a535c016222dedfa4548e2ae5abaa71a8fe712

Binaries

libz3-4 (libz3-4_4.8.10-1_ppc64el.deb)
SHA1: 79ec6f19ea298a438b1ca6c942eb3da5531a0cc3
SHA256: bc27fa59b3eb496a7f695b1939ba9d2d5de5a6f2c18ff72ca19ec6366060c777

Size: 7,166,368 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_ppc64el.deb)
SHA1: b3f7093613185ffa61f527ef853ef0e4a42acc68
SHA256: b73a868a1a22e6cdcfb067e4a5ae8c88e60dbfc35235b2b949fce92681c521f5

Size: 131,784,744 bytes
libz3-dev (libz3-dev_4.8.10-1_ppc64el.deb)
SHA1: 640457148a48977062976828dc28bc7bcd446241
SHA256: ef14f5b9d1ff95b903645f828fda93d06ee57d174b1ffe2ad1d26478b9127ee4

Size: 90,840 bytes
libz3-java (libz3-java_4.8.10-1_ppc64el.deb)
SHA1: b2ac5c761c6dbb475e0b295d81acbef02cedda3d
SHA256: 43768f755389400ba30abe36a937cb183f427eb2c8c8df503535af1f34bdab60

Size: 159,340 bytes
libz3-jni (libz3-jni_4.8.10-1_ppc64el.deb)
SHA1: abb30dff976c9ecb28542295b7d5340283ec9f55
SHA256: a74f881d9b6bd978ee38028b404391d87cf3cbf5e648f4e750539bf76ea69de5

Size: 35,784 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_ppc64el.deb)
SHA1: a1bd5452a4870d0cfb38cd0dbbe972868863637f
SHA256: 7f4b0b5097176d779f62b03a4a314cb4c4217a18078572e085b74bbf458befe7

Size: 190,420 bytes
python3-z3 (python3-z3_4.8.10-1_ppc64el.deb)
SHA1: b588968e7b371e69982195aee0d920301dd6183f
SHA256: 50260c94f0dbfd0f6dc25f7565bf998d4d888aff63709aaba3dce41d0ffa3d2a

Size: 78,096 bytes
z3 (z3_4.8.10-1_ppc64el.deb)
SHA1: fc98ee6f3fcc769ae5ae1872c26c95b4bf04c06e
SHA256: 1d9366b1694ad71d8bd474e4096ee9debc5b53fd15462839c37a21f4c6facded

Size: 7,178,924 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_ppc64el.deb)
SHA1: 90df51fe4bfe55ab0472568eb91e6c8156995b04
SHA256: 60364e57abb306eea63274448a513936bfcc7b3c7f6a2edcb9bdfe45446583ca

Size: 133,482,244 bytes

Other checksums

Submissions

Submitted
Sat, 30 Jan 2021 00:10:51 +0000
Signed by
0x9D2C0DB5469A3C8F

Environment


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