why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Oct 2017 00:11:02 +0000
Build-Path
/build/1st/why3-0.87.3

First submitted
Fri, 20 Oct 2017 01:10:01 +0000
SHA1 of .buildinfo
8bcc8e5ebf5b3daccabca575919813f3eb7c1310

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 545d2ea2469aa0754b8f04abf13fa57517019a4e
SHA256: 32e4167ff1b43bb34c724fccda4b13e283f6822320d559101235194f5cde53e1

Size: 4,748,896 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 7c43dd21b05282ae9b53dc0f822e70cb27c5ad39
SHA256: f7f12e549e4f3b31c9d59a15c4872a787d33feb69c0c98d160c9db9ec3f5319f

Size: 21,744,536 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: 4ca44e3fd8a37acd5c0cecf4bb97f72183369ec6
SHA256: 26a84d605f0052b24e0a7038214feef60e0f166b3327576e7cbf6470f8d1f9d2

Size: 5,239,292 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 0927ad251a6b2ca542169a5ef74e5f5ff7e66ff2
SHA256: 8e5ca782d58c14ad6fccfb4bbf57a89788dd8ffd0c1bdc7e856b53133d38aae8

Size: 725,028 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 45fa81ad32bd115dfbfddcd1a6f520ff617611de
SHA256: 65850919fde8aee117ae31009e40b923db80104f4f8131628ab4de02b88ef077

Size: 1,228,992 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 61de2445577c228dcbd9c44ca8c9aeb1a14bd815
SHA256: 9b2c26404a4a41a2a7b37233bec7e4833b68f4197ac0413bc6c2e0d092463217

Size: 1,747,000 bytes

Other checksums

why3-dbgsym_0.87.3-2_amd64.deb
SHA1: 77954ba33ec9c24c2799e55f3c5bd4f5b2700356
Size: 4,608,408 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: fb8675eaf3ec15fc78dfe08567f25fda8eabd851
Size: 429,948 bytes

Submissions

g3meu49u
Submitted
Fri, 20 Oct 2017 01:10:01 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.87.3-2=/build/1st/why3-0.87.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"