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
Sat, 4 Nov 2017 00:50:36 +0000
Build-Path
/build/why3-0.87.3

First submitted
Sat, 4 Nov 2017 01:03:54 +0000
SHA1 of .buildinfo
bfc28f5ce7d99823e13f0d48aef44f59c8d67d71

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 184c81c73cb54dfb708b2e2c606d68d804d622c4
SHA256: b9f137d9dacdd17ba1c7c1fcb1f967e83f56012fb13def910504323bd24ed47f

Size: 4,667,476 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 5513cfb2c1bad6e9b9b12b1d2a01f47560218dcb
SHA256: 584729377fee3daf4d55f0f1f786a7f62208a0b2d323c598af4ca3192d7f445f

Size: 13,418,996 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: 08d2e2620517631ea4ca7766980cdc0693b09a21
SHA256: d8921017cb6a0e1f5a9de16a0525dc2a00a676b879e36902b26285109d3f03ea

Size: 5,154,068 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: abe9b3cb8facd224ffd1882bd872bc9b62392320
SHA256: ae5f2359f8718d5bbb66690125b898e77a578234f03e171a4202f1c1156d9cf4

Size: 725,000 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: c4bcb7e88e962a432bf03bb709e7626e2062f2cf
Size: 2,866,368 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: 498e3cc5505f9bee53e9eff1a40b6d9f1253fc57
Size: 300,092 bytes

Submissions

jirfk3qh
Submitted
Sat, 4 Nov 2017 01:03:54 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"