why3_1.1.1-3_all.buildinfo (view)

Source
why3
Version
1.1.1-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 3 Feb 2019 22:48:57 +0000
Build-Path
/build/why3-z6kZ4D/why3-1.1.1

First submitted
Mon, 4 Feb 2019 00:15:17 +0000
SHA1 of .buildinfo
5d073290b78362e71768d85f7702da3ac5abc734

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
why3-doc-html (why3-doc-html_1.1.1-3_all.deb)
SHA1: 62553c6d81a78d4f6011214cfa3c211f77a8a31f
SHA256: fec25cac943b857ac562377a7fa6e3ddf5db531b25842338fe6483e4e09ac153

Size: 355,700 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-3_all.deb)
SHA1: 3dd2a708641c9c19ce3d0797c1400356dc7e69a9
SHA256: 8fd59f4c10606839c78225fc66bcf2d711b5491eab9808150bc16b4efd9f8026

Size: 1,149,716 bytes
why3-examples (why3-examples_1.1.1-3_all.deb)
SHA1: e999e57e368612fd4eaa5bbd46777b17074c07f4
SHA256: c6deeaab070bcf0f94064d2fec6970f73a8f3c745f5600e98dd67b4e4ab66e46

Size: 2,452,008 bytes

Other checksums

Submissions

cjzq9vyn
Submitted
Mon, 4 Feb 2019 00:15:18 +0000
Signed by
0xCBDB2D31225910EA

Environment


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