why3_0.88.3-1_all.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 22 Feb 2019 11:13:09 +0000
Build-Path
/build/why3-0.88.3

First submitted
Sat, 20 Jan 2018 04:50:13 +0000
SHA1 of .buildinfo
f9fa20d6fe44136252d395af65a5b9b1522630e3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-1_amd64.deb)
SHA1: eee0e0cfceec6cac28013323c4015d493ee77099
SHA256: 0cea932bc8ce8596cbafba461dcfbdf463d14ab2b10a4d6e176e907e2e04671c

Size: 1,860,980 bytes
why3 (why3_0.88.3-1_amd64.deb)
SHA1: cbdf4be3bd7b511c9e22de31f81827db63a8d588
SHA256: 293835e14e32bd1e47dad4397f2c7e8bc04671c35b7bb20d6033c433f640c8d0

Size: 20,801,736 bytes
why3-coq (why3-coq_0.88.3-1_amd64.deb)
SHA1: 237c60221d5c76a3297d54a4a19cc65f8e13f411
SHA256: ef99799b3b904ce2a408fee74dc49622353d9f2f935d8713f864f3249ec3f6b7

Size: 2,144,896 bytes
why3-doc-html (why3-doc-html_0.88.3-1_all.deb)
SHA1: 4a32922619d067f7004d10cb17b7411d99800060
SHA256: fc78c9e21539dcbe246bc0604685cdbcedbe33d4911826f8461925649d2ad870

Size: 445,108 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-1_all.deb)
SHA1: 8e76afe3ef5f0c341b7ce12bcbd13dd120530e54
SHA256: ab5c85e82f50b36af6d39c29550cc523000fc1815e1aeae3f96c0bcac3af8903

Size: 1,250,468 bytes
why3-examples (why3-examples_0.88.3-1_all.deb)
SHA1: ccf48b6de7d5999a96b74f1713c7461eccee489e
SHA256: c66c5698f1a29dd841b32c0dbcbac994dde78ab1de2f353a5cd495bab5c3250a

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-1_amd64.deb
SHA1: b3e56779c220f36a607b97f66aa7d2b260de8a25
Size: 4,557,808 bytes
why3-coq-dbgsym_0.88.3-1_amd64.deb
SHA1: 82eec1e00114f3b70d8af12435196213c1174066
Size: 449,004 bytes

Submissions

zvhvwjsj
Submitted
Sat, 20 Jan 2018 04:50:14 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1515937974"