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
Sun, 12 Aug 2018 22:48:59 +0000
Build-Path
/build/why3-1.0.0

First submitted
Sun, 12 Aug 2018 23:00:16 +0000
SHA1 of .buildinfo
1f1b31f8ffedc06f00a195549f7451ad95971fe2

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_arm64.deb)
SHA1: 75717f6cb1edb02b48f8e5611f0c4503bb795f97
SHA256: 8cd8928c0a825c59fe72cb317b7d980e000ad0a7b7f9a35fbe216a0ce862b9e4

Size: 4,659,112 bytes
why3 (why3_1.0.0-1_arm64.deb)
SHA1: 489708d196902cebf8b2a40576b050c17335fdea
SHA256: 14173ab61321a190a866720d46f5ba44167d53c8bad2a7cad1ec1f9a8605e7b7

Size: 35,883,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: e5a10f5f78a2377a4adf000974c0d3f186bf8f53
SHA256: 41b658dd52dbc156d00b5e1c37126fd1063279741b96db732057f01bacc40fe7

Size: 331,616 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: f4334a77a45caf2824abf0858c8f06f390397f25
Size: 6,240,572 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_arm64.deb
SHA1: 261e9c194073dd547b9d729dba115003fbd92395
Size: 593,932 bytes

Submissions

m3iod9pi
Submitted
Sun, 12 Aug 2018 23:00:17 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"