why3_1.2.0-2_all.buildinfo (view)

Source
why3
Version
1.2.0-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 4 Oct 2020 03:40:22 +0000
Build-Path
/build/why3-1.2.0

First submitted
Sun, 1 Sep 2019 21:48:03 +0000
SHA1 of .buildinfo
0a12a7199b7fe0efca194295ef01645690d5d63c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-2_arm64.deb)
SHA1: 6c42d526ee8a87956308d8ca6df8bfb218361a96
SHA256: fc4e5f50d0de9d85f7f179d754f4a3dcdb6f0007b4f9669157ffab99017a0927

Size: 8,572,100 bytes
why3 (why3_1.2.0-2_arm64.deb)
SHA1: d1f10459c91b9c284d01777292d196ba7eb80599
SHA256: f098087cb5bbcd207a175d4f003c0f4c5a786f1d3cb2d3bede94272c43c86851

Size: 38,282,288 bytes
why3-coq (why3-coq_1.2.0-2_arm64.deb)
SHA1: 5e7c0967d50ac21a8d0a23e8eeef4d50574ced0a
SHA256: 57d324226d9441eabc0ec338798cc1770afc2e8105bd1cea40fcf2f0c46d876b

Size: 596,668 bytes
why3-doc-html (why3-doc-html_1.2.0-2_all.deb)
SHA1: d4ff5604d39827e4ebe34b9d32182f1418ba7670
SHA256: bb5a28919341dee117d7168cbe1581aade7b6afe62d4318d2aa7d3abc7ef6921

Size: 362,232 bytes
why3-doc-pdf (why3-doc-pdf_1.2.0-2_all.deb)
SHA1: 91597a6b2bc9556096431650b23c2ca7fb7a08ef
SHA256: 510180757a2714fdd49e0f655c8e7dbf5f62873ae7dbb69d751f02de11d5d073

Size: 1,274,772 bytes
why3-examples (why3-examples_1.2.0-2_all.deb)
SHA1: c7d402f7bb1fb995afc468c9b9bfcd230e8a48dc
SHA256: adf114d09be3119fa1c2d563d8ee588b7b88f8c44db7f6bd0855445acde59423

Size: 2,473,580 bytes

Other checksums

why3-dbgsym_1.2.0-2_arm64.deb
SHA1: 051da156a389f45984ae323b27a46dbcdaf6cffa
Size: 6,430,788 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-2_arm64.deb
SHA1: 4b789828817af29b9f9beaebae00612cc239f6ee
Size: 605,352 bytes

Submissions

u4n3ojyn
Submitted
Sun, 1 Sep 2019 21:48:03 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1567106629"