why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 10 Mar 2017 23:31:28 +0000
Build-Path
/build/why3-0.87.3

First submitted
Fri, 10 Mar 2017 23:32:22 +0000
SHA1 of .buildinfo
8b3221547f5fb6537b9c13eafb8821c38c807bdf

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: 5b5fafa830fdef4db669f995e3656cff17bb0795
SHA256: 42573b90090a034d56dabd5e16e0eb43a42becd2c7fb7cbec2e6149524c0baac

Size: 4,651,058 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: 7b328de657d8a13b7f177dd330680e9235c45ace
SHA256: 2eacb1a80958ee74caa08364c6a4d2249b385c585c5db2106a9de324b3580062

Size: 11,401,194 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: 768ef5fda358674eda5280890255338725e50d82
SHA256: 7942ffcd1797daaea36650e5d1ffc77eaf4a01257ab66159ffe503020ac9fbc4

Size: 4,983,714 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 185019b238c2ec441ff37d0d6eea15f25a8b3107
SHA256: d58c99bb0a5453fecabc7a256ccf7d3d8f0216c1ae2fea527b1df15d0c5e423f

Size: 725,012 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: add8982e66934431106dd09e70c162f632cccdb3
SHA256: b5b1ba15e1eecdbd736dd257b5311e3ebc5c887e3e48e55296a69d0fcb82fcbd

Size: 1,228,976 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: d576177648ff8de19f0bcf4e5adbf1ef31e72aef
SHA256: 2dcc755f6d9b831df3696ea36b8c3791f8f6c1b2deb5fca24dabbfc73b063a01

Size: 1,750,654 bytes

Other checksums

why3-dbgsym_0.87.3-2_i386.deb
SHA1: 8c4d3459e145dcd7f62afe81e3aa5fc47c57154c
Size: 3,821,734 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: 2ad89af6297d4aebe0af9c4a00b7f7275d4f3d23
Size: 294,626 bytes

Submissions

nmuvvjms
Submitted
Fri, 10 Mar 2017 23:32:22 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"