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 09:17:45 +0000
Build-Path
/build/why3-1.3.1

First submitted
Tue, 7 Jul 2020 09:20:57 +0000
SHA1 of .buildinfo
9d765de7fb87ac8ff824b4d63a5aa9a597271e44

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: b58f55f0e9f6c354da8b06781b770f72c5345348
SHA256: f6fe9073b914521c3c58cd3995be5513c67988b5c3936c733b744dfdfb437ff6

Size: 955,584 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 399f2bf0019426017f7c42665096b3d65091a94a
SHA256: a71e6eb9de9acc0f3e8c46e88a1fd2a1423b9815224f50698bbbbcebea240158

Size: 1,057,680 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

3ajwptw7
Submitted
Tue, 7 Jul 2020 09:20:57 +0000
Signed by
0x7BF7A541C51D4B87 cbxi4pro0 (Automatically generated key for signing .buildinfo files)

Environment


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