why3_1.2.1-6_all.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 23 Mar 2020 11:37:45 +0000
Build-Path
/build/why3-1.2.1

First submitted
Mon, 23 Mar 2020 11:40:06 +0000
SHA1 of .buildinfo
04cbacde95320dacf6e33e27bf891b02baa83170

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_armhf.deb)
SHA1: 24aab2037bf07a8cde305aa56b0b4d91e7afd652
SHA256: e112b1c8feea8865050249b734dfdacd2b9202476a2533d3aa8c407c20017e1d

Size: 8,064,540 bytes
why3 (why3_1.2.1-6_armhf.deb)
SHA1: 7189344c6b9beac423c44c923e4fe3916b9dcf9f
SHA256: d65c2e58664dfc59bbcd9bc7e0fe907966494679863251c3935549b48285796d

Size: 20,425,732 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.2.1-6_all.deb)
SHA1: a00e6f6e44531431f1ccfb2abc2b58e100b90157
SHA256: b0d3ab826eeef40ade51d10216927b7918438ad107832144c70eab57e09489cd

Size: 362,932 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-6_all.deb)
SHA1: ed2544a276efbacd664183bf0a4bb0851c446ab5
SHA256: 88aa8770e0bbcb4d300e860b39e8cf90b0313902d24e2e0287437a7fe0653477

Size: 1,275,192 bytes
why3-examples (why3-examples_1.2.1-6_all.deb)
SHA1: a5ac0f7de547a023f12bee4a1fc5076198512f94
SHA256: 03a60c0682031570f7882e30443720516f652b61de8a55800c95ee80506c26a3

Size: 2,474,304 bytes

Other checksums

why3-dbgsym_1.2.1-6_armhf.deb
SHA1: 262d14448cb4425fc82c3b0c978539e3745eaf9a
Size: 5,566,092 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_armhf.deb
SHA1: 208550ecbcadf08754718003f6c103043ca735fd
Size: 465,652 bytes

Submissions

4qpynza4
Submitted
Mon, 23 Mar 2020 11:40:07 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1583696219"