why3_0.88.3-1_ppc64el.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 14 Jan 2018 21:19:02 +0000
Build-Path
/build/why3-ChKRsp/why3-0.88.3

First submitted
Sat, 27 Oct 2018 16:58:46 +0000
SHA1 of .buildinfo
eaaa89d98cea4497155137a4947dc45d8a889801

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-1_ppc64el.deb)
SHA1: f228aeff0eb07f7329ba7ee9e124ce22ab757f7d
SHA256: f6bb608be92a09b4f5e37548d3a55568c2e0091ff48f0c01ea245494ab01c4db

Size: 2,013,088 bytes
why3 (why3_0.88.3-1_ppc64el.deb)
SHA1: 6444eb1142f40f8fde7f15a9798af5b184023f2a
SHA256: 47b6f6107dd59b510ae35e7a58a3b0ea9640bb13b360bfdeace3f864068f4cbc

Size: 22,233,164 bytes
why3-coq (why3-coq_0.88.3-1_ppc64el.deb)
SHA1: f7d6ab6ffae55d447de241f480575a568d6aa723
SHA256: 966d98f6f96ac96e26bf9a8103c4abce73c0bcddbaadb31a4e94e6078e962529

Size: 2,207,412 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-1_ppc64el.deb
SHA1: 16cb5b545461a8827f104847f7112dc53e354fa4
Size: 3,573,564 bytes
why3-coq-dbgsym_0.88.3-1_ppc64el.deb
SHA1: 568aefeb583d2274dd4167f8f60df317e009b3a1
Size: 369,204 bytes

Submissions

yvog94cd
Submitted
Sat, 27 Oct 2018 16:58:46 +0000
Signed by
0x99CCF26EB5F752D2

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1515937974"