why3_1.3.1-2_ppc64el.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 7 Apr 2020 19:38:01 +0000
Build-Path
/build/why3-17rZVX/why3-1.3.1

First submitted
Wed, 8 Apr 2020 00:12:25 +0000
SHA1 of .buildinfo
bea549af631eddcc1603ae305d9466dc6a0a76a7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_ppc64el.deb)
SHA1: 4f9b87052a9f9e6c3ca74928a5bdeab79dcb9c80
SHA256: 47c7ae5faa1444006a01853f01d344c783e9edd996563c1244c070e8d6bb5c01

Size: 9,020,952 bytes
why3 (why3_1.3.1-2_ppc64el.deb)
SHA1: e94e1d671e2daf91030218712a3502ec473034ef
SHA256: 0ab55d1004ed72b0a646e7374297d41fa4a024a6b323c0d388d3592ded485134

Size: 36,789,476 bytes
why3-coq (why3-coq_1.3.1-2_ppc64el.deb)
SHA1: 4195ea70386099c8937ecd812402b6b4b2bf28c0
SHA256: a401b20b7bdd1a551bf2dc7ffb67d06abf368fa3b1bb04c0351ce9b595ee0b9f

Size: 794,700 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.3.1-2_ppc64el.deb
SHA1: c2e9a12826895003862506f7d27e581436689b8d
Size: 5,991,796 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_ppc64el.deb
SHA1: 1abcae9a66dcb30097f90f7620ff152bcc8b010f
Size: 473,020 bytes

Submissions

qqunbdjo
Submitted
Wed, 8 Apr 2020 00:12:25 +0000
Signed by
0xAA4B2251A9397852

Environment


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