why3_1.2.0-2_ppc64el.buildinfo (view)

Source
why3
Version
1.2.0-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 29 Aug 2019 22:29:47 +0000
Build-Path
/build/why3-fgLvdr/why3-1.2.0

First submitted
Fri, 30 Aug 2019 12:10:53 +0000
SHA1 of .buildinfo
8db234786ee8adf4721713f4b89f494d21c3e1b5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-2_ppc64el.deb)
SHA1: 407267d0068297d8e6f723cc9e8d854748f14b56
SHA256: 8b013f49eddeab14e8ce6ecd2f3f0abac76fa40921d832032fe637a9fe6f3546

Size: 8,128,160 bytes
why3 (why3_1.2.0-2_ppc64el.deb)
SHA1: 8d38221c7a8aa0c893fa5e0599f2f71bb0df4f1c
SHA256: 7ff77dbd51cc671897d8d913de1439bfb763e307710a0b9ac3773595c36264cd

Size: 32,331,676 bytes
why3-coq (why3-coq_1.2.0-2_ppc64el.deb)
SHA1: a1ead1c7697220e585219045e53a861f8233f0e9
SHA256: 84bfe4d7003ba071b0153f880f725a023a11bac9da613990d990a2a0787e97ef

Size: 596,956 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-2_ppc64el.deb
SHA1: 84a3e83a854d1ccaa4f552884b3f53161b29a962
Size: 4,738,588 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-2_ppc64el.deb
SHA1: 503e912108a8ddb649c10962a9a07f74c23d42a9
Size: 419,908 bytes

Submissions

poh7o7jw
Submitted
Fri, 30 Aug 2019 12:10:53 +0000
Signed by
0xAA4B2251A9397852

Environment


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