why3_0.88.3-3_s390x.buildinfo (view)

Source
why3
Version
0.88.3-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 27 May 2018 12:55:08 +0000
Build-Path
/build/why3-dHd1vV/why3-0.88.3

First submitted
Fri, 26 Oct 2018 15:34:40 +0000
SHA1 of .buildinfo
a5b512b698060e966354e85018a2bac8cadbaed1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-3_s390x.deb)
SHA1: d1100ceaa38e9b706289a194fb62a81263c49779
SHA256: 3fe14ca9d133bbcda115800e8112802989d4e3b9c8cb27b9b47e2d1cb78a57a8

Size: 1,810,372 bytes
why3 (why3_0.88.3-3_s390x.deb)
SHA1: 54e65b03c2a14857fca4027c779b45abd8a617f5
SHA256: a354107635db3989747010b61e6da0762d34b88e57f05bf0887a345bdd8f1179

Size: 21,042,160 bytes
why3-coq (why3-coq_0.88.3-3_s390x.deb)
SHA1: 7b0f34dda6af1521f1f66ae2f72b7f2df342d101
SHA256: 257fe11d737fbe50cdd382c903662903432fba0e63b05e1346e9dc41b9bb1a21

Size: 2,161,600 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-3_s390x.deb
SHA1: 352db8075e58982c83b3ff03ec07e3312a555a56
Size: 3,581,468 bytes
why3-coq-dbgsym_0.88.3-3_s390x.deb
SHA1: bed8eba7c09212883902313476c7b0fa81d1e31f
Size: 353,548 bytes

Submissions

aqbcwsyi
Submitted
Fri, 26 Oct 2018 15:34:40 +0000
Signed by
0x77610721CD6F0327

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1527421074"