why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 6 Mar 2017 12:39:41 +0000
Build-Path
/build/why3-0.87.3

First submitted
Mon, 6 Mar 2017 14:10:51 +0000
SHA1 of .buildinfo
32928f84c297245f35cafbc95982229b260dbff3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: 02d6ef7e4b19d14513063be608fcc46c16794d4f
SHA256: 759973238f5676718dbf6c9c28a05d7bff2066f2db5cf4fce69fa409b1881b0a

Size: 4,919,628 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: 643ae55e8efaef0bd2973118ac96c89ff65b0cb5
SHA256: f5e0b7404c29f28572c3c6f8245bc091c4b0b4b805e20a00faa3189021f78c4d

Size: 11,247,940 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: b92d08a49a7e8ddab1836566bf7875196da59464
SHA256: e6f170323127edbcea2da558d58a4f4e74ab77b026ea071f417949af5753ce2f

Size: 5,181,132 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_armhf.deb
SHA1: ac7b44b1e8f8d1903488d76840511220c7324fe3
Size: 4,099,288 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: f29db095e6b8fa8b72d7aaa70e39c990d71a2e2a
Size: 318,516 bytes

Submissions

tjviu9f9
Submitted
Mon, 6 Mar 2017 14:10:52 +0000
Signed by
0x101CF655F3A0F753 ff4a (Automatically generated key for signing .buildinfo files)

Environment


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