why3_0.88.2-1_all.buildinfo (view)

Source
why3
Version
0.88.2-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 5 Feb 2019 05:58:34 +0000
Build-Path
/build/why3-0.88.2

First submitted
Tue, 2 Jan 2018 23:47:28 +0000
SHA1 of .buildinfo
834e8432c26b26c2983906d851e8c23f622b5022

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1_amd64.deb)
SHA1: d167e91d7850d0b9765f1e2b3a89c24302f6a140
SHA256: dfd5b247221fa17688001fdca6dd37a4bfd6f7906a9012f6ce81d60cff26a4bc

Size: 1,862,716 bytes
why3 (why3_0.88.2-1_amd64.deb)
SHA1: 95b7b4c5194ee739d9e13311a4fedf42659323e5
SHA256: 0302ff48cb2c6674779c9a466ad6f0c49b324572c000a11b16c7759dbd1027df

Size: 21,066,796 bytes
why3-coq (why3-coq_0.88.2-1_amd64.deb)
SHA1: f858eb8e0ee54744b51d71d42a38962466d3fdad
SHA256: b6b7f18c91d8d1a443f8a2b7dd943faf1de01fbbc4921ece03600fdb5a86ba27

Size: 2,148,900 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_amd64.deb
SHA1: fb273baa2e54fe497551a6aa6e7ae10778649279
Size: 4,648,116 bytes
why3-coq-dbgsym_0.88.2-1_amd64.deb
SHA1: a86350cb889221e5405b3b57dbe7d61f60e3aeaa
Size: 447,412 bytes

Submissions

ixwuvxrr
Submitted
Tue, 2 Jan 2018 23:47:29 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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