why3_0.88.2-1_all.buildinfo (view)

Source
why3
Version
0.88.2-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 3 Jan 2018 01:41:41 +0000
Build-Path
/build/why3-0.88.2

First submitted
Wed, 3 Jan 2018 01:42:46 +0000
SHA1 of .buildinfo
69283e7572a305c116d7ab741113e83ce6528603

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1_armhf.deb)
SHA1: 5aa25bba731bb0a6fd5b5dd979fe126d651f1cc6
SHA256: 7473ca572774a23db89dc23267647e571513fafd8795923a08cccc7a43b2e0d3

Size: 2,002,384 bytes
why3 (why3_0.88.2-1_armhf.deb)
SHA1: 2695c57f1a35a9953faca2a4e7abcf5e411554da
SHA256: 7475484012bb517d08f91e8863ddce1f156da7c28af07b11bca231690fdd231a

Size: 11,356,088 bytes
why3-coq (why3-coq_0.88.2-1_armhf.deb)
SHA1: 75eced1531b07cdb3e8d4796faabe949a3c73e04
SHA256: 4d6f14f58e4d825929db9abf1776839c5c69cf45038753a174d1cf23daf55619

Size: 2,047,444 bytes
why3-doc-html (why3-doc-html_0.88.2-1_all.deb)
SHA1: cb022dee7488416e07c4c64e0bdb00fca61f577e
SHA256: 8474ed290f3ca6b371eb70570191644c43cdc57f5a613a4c0b6c1df828ad503b

Size: 444,848 bytes
why3-doc-pdf (why3-doc-pdf_0.88.2-1_all.deb)
SHA1: f5e05312f218c149b8bcc55ff80f98ee44a2649c
SHA256: 9206af1a3a8c3912786d3a6b96a7e41bee600f42ad67b6214c6e5a61d05faafb

Size: 1,249,404 bytes
why3-examples (why3-examples_0.88.2-1_all.deb)
SHA1: e4a6a31d89b081b4c84307a063c16b78015060a6
SHA256: aee69f9d8ccb893fb8dd330e885474deb7e961fdd886ebf77eff97a49ab4d972

Size: 2,037,744 bytes

Other checksums

why3-dbgsym_0.88.2-1_armhf.deb
SHA1: 543e2848532bfab22f008e223d50161fb4222bff
Size: 3,950,476 bytes
why3-coq-dbgsym_0.88.2-1_armhf.deb
SHA1: 5fcd8d45ef2c81fb939ef03ce620bf936bb91505
Size: 397,392 bytes

Submissions

bo9qspsy
Submitted
Wed, 3 Jan 2018 01:42:47 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1513113744"