why3_0.88.3-3_all.buildinfo (view)

Source
why3
Version
0.88.3-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 27 May 2018 13:01:02 +0000
Build-Path
/build/why3-4wat9Z/why3-0.88.3

First submitted
Fri, 26 Oct 2018 15:34:55 +0000
SHA1 of .buildinfo
9367a58a7f057cf297f5f327107ebc8acc87656a

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
why3-doc-html (why3-doc-html_0.88.3-3_all.deb)
SHA1: 91c54b02c17bf9f349740bc1f1e25f74d0fe8123
SHA256: 1140aa928c2abcfb877beccd500077a8a61b431ecd3b120492f9bb34a335c036

Size: 445,340 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-3_all.deb)
SHA1: b339c97b76796db9a13d34850b26e64bd7644d83
SHA256: 277e7915f279ca876584bc46f54467df16e11e8997dca4ba173424604d2a5f8b

Size: 1,250,448 bytes
why3-examples (why3-examples_0.88.3-3_all.deb)
SHA1: d23cfdd6714ae35c64369972d90a7791ac26f2c8
SHA256: a8a1dcbf88751db2c230ab724983673e00c029eacba28153ede90fcd085665e6

Size: 1,626,100 bytes

Other checksums

Submissions

fuwnumes
Submitted
Fri, 26 Oct 2018 15:34:55 +0000
Signed by
0xCA7713A5EE6054CA

Environment


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