why3_1.2.1-5_ppc64el.buildinfo (view)

Source
why3
Version
1.2.1-5
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 8 Mar 2020 18:13:25 +0000
Build-Path
/build/why3-rrfzRx/why3-1.2.1

First submitted
Mon, 9 Mar 2020 00:11:06 +0000
SHA1 of .buildinfo
d787e996ee2b9fb444d0f582acd5ea081de28299

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-5_ppc64el.deb)
SHA1: a12a20e8825a1fe141eab2a2171742b2f4add4ff
SHA256: b1243b9d4d2aa71ddccb81e3c05d778523cdcd18426d9bda66f07021ec905c48

Size: 8,297,392 bytes
why3 (why3_1.2.1-5_ppc64el.deb)
SHA1: c05b079229dbdb52ed429cb6ce6ada0c0bdc6a9d
SHA256: e68f39525653cbfbafecd12d94f60ad7bea99b73cf17cb262c9036ea86c8951c

Size: 33,132,120 bytes
why3-coq (why3-coq_1.2.1-5_ppc64el.deb)
SHA1: 2b0f101f1a56102438a89e427540601ef20b849c
SHA256: 12a6d90570d70adea1eee327786f7130f20eb4e4a642853bed26a5710448bd77

Size: 592,276 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-5_ppc64el.deb
SHA1: 4635868dec1f01b435f84383cab6d69b5fa89ed1
Size: 5,060,928 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-5_ppc64el.deb
SHA1: 2e8e6ce0e50cebf5d702b7e5a5f3e1c261b572a9
Size: 432,012 bytes

Submissions

vqcrdrf3
Submitted
Mon, 9 Mar 2020 00:11:07 +0000
Signed by
0xAA4B2251A9397852

Environment


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