why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 9 Sep 2019 02:53:24 +0000
Build-Path
/build/why3-1.0.0/2nd

First submitted
Mon, 6 Aug 2018 21:23:17 +0000
SHA1 of .buildinfo
381c96b277aad38621665d9262135a25e7e4153d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_arm64.deb)
SHA1: a902c410652644709fb0d152aa8db44e5143c83d
SHA256: 528c5f67047c5f1b359bb9b74792a7fbb6f909efb7f058f87fc346edf74da285

Size: 4,664,868 bytes
why3 (why3_1.0.0-1_arm64.deb)
SHA1: c8aa1c12d6101792e190f9ff7823681d4c40db73
SHA256: 20ca9689f4c920f34aff9e48dad7a638e00da8334a58bfd86c2158b7f3507373

Size: 35,899,532 bytes
why3-coq (why3-coq_1.0.0-1_arm64.deb)
SHA1: 5a89daf27ab8fd19b1102cf9cb042f2e707147da
SHA256: c9983081da2cbf76ba398bad8164726ee73c820989c6f7d9a1a7196c59c8a391

Size: 561,432 bytes
why3-doc-html (why3-doc-html_1.0.0-1_all.deb)
SHA1: c67c74678d4c4a053d9f89fc8c923034f1eac379
SHA256: afb6c9e54c8b1ed1d5f7b68f79dc250971e5640546d55e6c5ddb4fe053529561

Size: 331,752 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-1_all.deb)
SHA1: 332f90cda55b6dcdbd96b1d2e5ad8e87ea650003
SHA256: fe47f6de291c58de194bcde394af52b808a18698b22929972f7a6a70568adf66

Size: 1,071,688 bytes
why3-examples (why3-examples_1.0.0-1_all.deb)
SHA1: c9dbe166918b57a140a06edef31d739153706af7
SHA256: 58c7805cf18c5e0fd02e33fbae828f97b9b4c1e6fc47438a85c39781f932cf35

Size: 2,485,884 bytes

Other checksums

why3-dbgsym_1.0.0-1_arm64.deb
SHA1: 9304d518fd8c994c5f749e55d5ef9c894d3545a5
Size: 6,325,888 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_arm64.deb
SHA1: f128851b9a405894c8d65776a89f94d4778bbefd
Size: 594,012 bytes

Submissions

b7kveikd
Submitted
Mon, 6 Aug 2018 21:23:17 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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