why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 7 Jul 2020 07:26:12 +0000
Build-Path
/build/why3-1.3.1

First submitted
Tue, 7 Jul 2020 09:20:56 +0000
SHA1 of .buildinfo
6b33095b59226136d9d366c8aa6aa1b86419c184

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_armhf.deb)
SHA1: 6f6c4bae2e369dfb67a2e5a99ccb4973e9b9102a
SHA256: a23da025cf019137ce0b89b3fe9d15a94e122a2985629d41bf3b426b87b390d5

Size: 8,728,764 bytes
why3 (why3_1.3.1-2_armhf.deb)
SHA1: 441ac64cd6bdddc81edc44955a770abc6bc32612
SHA256: a278e317e1f123cd2143b711009ab4233311e5aac90e335b7b2e57ee59c27013

Size: 20,983,788 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: ca86191f8d77850b6fbb733e0d3cc69d2fbaccf3
SHA256: 705ecb73a759abc652ced3a459c31339c75e3531dc19491ca643371fbc0256f1

Size: 957,428 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 50640365f539996a657af7d9b0d62b392adc1d90
SHA256: 83ced2ed8d475a1abf840ad03e5fd1b4e005c3934d1b0c6c23066abfe6ab6934

Size: 1,057,752 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_armhf.deb
SHA1: 45825d593fae1ec477d574ac582da43768d429db
Size: 6,618,100 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_armhf.deb
SHA1: e4d11ac55bf8ac81b92052356ce4915541b949d3
Size: 511,056 bytes

Submissions

xqaa4x7h
Submitted
Tue, 7 Jul 2020 09:20:56 +0000
Signed by
0x3790BB94D873CF00 p64c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1586279499"