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
Thu, 28 Sep 2017 05:38:11 +0000
Build-Path
/build/1st/why3-0.87.3

First submitted
Thu, 28 Sep 2017 06:16:17 +0000
SHA1 of .buildinfo
d09b50f570f8a4c3e0bfc663588d4cab993ba1a0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 359f1f2d343ad6267eb8137cd578935930e036f1
SHA256: 5054309ce928895037af9aabdf11262c0a18cdf48b29f21674441eadafd40c8b

Size: 4,748,832 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 6865d76c5c0496aa93ca04ffbc51ecb264828ffe
SHA256: 1b10795e25f494201c7708298ae436cf3b870cc4f70217a7d0ac37e7b5ebb2f4

Size: 21,737,088 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: b3d477a8a66039c166d8774e98cbf8147b0e4171
SHA256: 8b289c6d5b3440bde75b12de2ac897bc4cbf616e30504e29a589e79f5ec4d02f

Size: 5,238,252 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 48357234f4536793c0e62cb7495d0e3d19b67c6d
SHA256: 8b4d1724cdb980fbf42827c3154f5927cb9cb974b3bac31fc629d18209bc7f25

Size: 725,048 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 1d1fa32bfedb3140c7ee868dc17c7aedb31f8f6c
SHA256: 9f3ae2885b80365f8c7b5461766ac2a1d7bdd57ff81425e9773e5008ed948d0a

Size: 1,228,908 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 1fef7d967386d525280d00564a9b1a418b54bf62
SHA256: d076e123815a2c10747e9abe866c0296c6d984f5aaeb17d2823c444aebdecf27

Size: 1,750,660 bytes

Other checksums

why3-dbgsym_0.87.3-2_amd64.deb
SHA1: 49b69483c23e485d8b58ad03e12c6f7ed066cf89
Size: 4,541,714 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: f9a2d1a08334a547ee54ed68e5db35b2b835d8c3
Size: 429,878 bytes

Submissions

ops4xk7j
Submitted
Thu, 28 Sep 2017 06:16:17 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.87.3-2=/build/1st/why3-0.87.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"