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
Wed, 11 Oct 2017 00:59:25 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Wed, 11 Oct 2017 01:24:40 +0000
SHA1 of .buildinfo
368ce1ae8e8c8a7c33a5f6ebc44ae4f33cf71ace

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: dd4dec3e1c00dec9ebb234fb1602f3b4ede796fe
SHA256: f8bbc0f3656fdd54925262041533662ab740c5f7592a606642164883cf5bc52e

Size: 4,765,340 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 9e7f34c3762ed365efdf372ff6a0b2dc4b248ec8
SHA256: 4ff3bd5d98a5aa348e868ac5ef5e63933f8bd566c3fa507dba0d74d71105ffd8

Size: 21,740,452 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: 743fc9102021c1d3fc691c5488c41e1523ee4386
SHA256: a9f80c698886bc83702d249d8dbf9ec663d3d319c65a6089871364da5c1d1e24

Size: 5,238,022 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: 984ead601f731a86ee4cbe1b8a662706410e9472
Size: 4,657,114 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: 7fd1cdd9794bb7bb04068548a0cf11139185f91a
Size: 431,158 bytes

Submissions

74mvfosq
Submitted
Wed, 11 Oct 2017 01:24:40 +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/why3-0.87.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"