why3_1.2.1-2_ppc64el.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 3 Nov 2019 22:16:57 +0000
Build-Path
/build/why3-52q6Uk/why3-1.2.1

First submitted
Mon, 4 Nov 2019 00:13:52 +0000
SHA1 of .buildinfo
3db33364ae2e03d52faf42fea0bb1e2202f90008

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_ppc64el.deb)
SHA1: e6fbc1d63f7bfd309b9347ddfe1e581b64fafad3
SHA256: 00d2a53d38de632c57b884ba1053fa73c79dca1b33fecbd75476d3c96a04575c

Size: 8,148,092 bytes
why3 (why3_1.2.1-2_ppc64el.deb)
SHA1: 8b4ed067137e96628c1921b2a89f1fbba356c703
SHA256: dcf7fbd52ffd9e9b7c789f7842a8735d7a58a98db79327ab12113861fa5e80a7

Size: 32,357,088 bytes
why3-coq (why3-coq_1.2.1-2_ppc64el.deb)
SHA1: 6fa2e160e18dfa84b40d734304c5fd6ad69c2af1
SHA256: c97b4e253aa3c5c9998e225774d0a54478695fbe3ea66187735a28dd4782b929

Size: 597,040 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2_ppc64el.deb
SHA1: 6685e5d232d2580e2fb33adf6e536c84e26198a7
Size: 4,691,276 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_ppc64el.deb
SHA1: ac3ede265c811ed27e1d863952db07e00997938d
Size: 418,828 bytes

Submissions

uytiheqx
Submitted
Mon, 4 Nov 2019 00:13:53 +0000
Signed by
0xAA4B2251A9397852

Environment


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