Source
z3
Version
4.4.1-0.4~deb9u1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 8 Dec 2018 05:08:18 +0000
Build-Path
/build/z3-PSlTiB/z3-4.4.1

First submitted
Sat, 8 Dec 2018 06:12:18 +0000
SHA1 of .buildinfo
60aa34e7416574faccc6cb9829e295ac6eb1b5eb

Binaries

libz3-4 (libz3-4_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 30f958cebd6a20688eb86fafafaff2d4a5b1a7f4
SHA256: cfc56f79b8ceae04124bb43280f0bbc0f5d9c8c783b4ccc757238c49b1c80acd

Size: 4,807,080 bytes
libz3-cil (libz3-cil_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 02f2d694a01f153d98126f556f2277bdb5720865
SHA256: 93a54e0d732f59991c4e4ae5fc98ae5ccaa398f5879c7a0293a5844a44fafc59

Size: 40,558 bytes
libz3-dev (libz3-dev_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: fb64eab2f0d3d0be90d9e4931442a9d73b121c46
SHA256: e4f4070c6d2ad838ee64f3e43d80f0cf14d49a51b57cf2afc6ce73df787e5ea2

Size: 79,312 bytes
libz3-java (libz3-java_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 652ff7bbddf2d3427f407a0b6ae90d9f0b8e54af
SHA256: 4dcc896254ce3b3db8bb5d3fc6712ba6b891204cd81237f140cbfb2705a8361b

Size: 143,438 bytes
libz3-jni (libz3-jni_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 93d0341939ebda6d6d0a836ff9845502a5a43657
SHA256: 6ae3e7006cde9b2bf1c2ce2b2f46ac4dbb8794b8232331208e9314ac02d39eae

Size: 33,838 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 0657bc13a1c748cc5044b0b441424832477072e9
SHA256: f60eed4b7a1680b94ee750736a129590707aea874f86072223e9713cc251a5ca

Size: 345,426 bytes
python-z3 (python-z3_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 53290c413921909e7570caae09a2aa25f9c09537
SHA256: b8d61172dd5e29b65e63b30ec22d5bbc01b40b4779105c4bf1fcad61e50b6e9f

Size: 66,906 bytes
z3 (z3_4.4.1-0.4~deb9u1_ppc64el.deb)
SHA1: 89b9f32757d8970fd4b50432264a1a636f9e0fcd
SHA256: 20153fdd3c5caea876677d0143f4bc22e1a6ffd1303808cfe32f6c517532639f

Size: 4,820,118 bytes

Other checksums

z3-dbgsym_4.4.1-0.4~deb9u1_ppc64el.deb
SHA1: 89b7a4816c376f99c8c0ebbd81bf3e060e5edc60
Size: 76,835,516 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4~deb9u1_ppc64el.deb
SHA1: af69f454f3f23e1091bfd3871ef3d1127151f367
Size: 198,324 bytes
libz3-jni-dbgsym_4.4.1-0.4~deb9u1_ppc64el.deb
SHA1: b7f86365b8c4c54c63dcd56cbbfdf2bef43b0a80
Size: 143,936 bytes
libz3-4-dbgsym_4.4.1-0.4~deb9u1_ppc64el.deb
SHA1: 1772c068d302141784db82e16555182ef82cba28
Size: 76,335,794 bytes

Submissions

Submitted
Sat, 8 Dec 2018 06:12:19 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1537119964"