why3_1.2.0-2_all.buildinfo (view)

Source
why3
Version
1.2.0-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 2 Sep 2019 06:37:14 +0000
Build-Path
/build/why3-1.2.0

First submitted
Mon, 2 Sep 2019 06:39:19 +0000
SHA1 of .buildinfo
7ca180f2f2461c173cce2a81f0124876b4a7b2db

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-2_armhf.deb)
SHA1: a36fa05895ac960aecde9a6eab96cae7277338c9
SHA256: f68aa4f32c3d8b80a73153831a07d487d64c8f1d9120fbb652a38b080bb21290

Size: 7,907,852 bytes
why3 (why3_1.2.0-2_armhf.deb)
SHA1: 774767b1746f1f621894ddcf5662426358640670
SHA256: 65ea97b2321751bfc30cbec5ecae0fe64fd3744d091789dc859d761d883cd180

Size: 19,230,124 bytes
why3-coq (why3-coq_1.2.0-2_armhf.deb)
SHA1: a5d698e15c4bc97dd243563b5bd67b91fa328e61
SHA256: eb3bc21864b946f202389f7b218da73a7edff172d2c8838571f80ad2d7a2e81e

Size: 601,824 bytes
why3-doc-html (why3-doc-html_1.2.0-2_all.deb)
SHA1: d4ff5604d39827e4ebe34b9d32182f1418ba7670
SHA256: bb5a28919341dee117d7168cbe1581aade7b6afe62d4318d2aa7d3abc7ef6921

Size: 362,232 bytes
why3-doc-pdf (why3-doc-pdf_1.2.0-2_all.deb)
SHA1: 91597a6b2bc9556096431650b23c2ca7fb7a08ef
SHA256: 510180757a2714fdd49e0f655c8e7dbf5f62873ae7dbb69d751f02de11d5d073

Size: 1,274,772 bytes
why3-examples (why3-examples_1.2.0-2_all.deb)
SHA1: c7d402f7bb1fb995afc468c9b9bfcd230e8a48dc
SHA256: adf114d09be3119fa1c2d563d8ee588b7b88f8c44db7f6bd0855445acde59423

Size: 2,473,580 bytes

Other checksums

why3-dbgsym_1.2.0-2_armhf.deb
SHA1: f81e688e69f80ee82bfc3384d014a870af310df2
Size: 5,288,944 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-2_armhf.deb
SHA1: 249b07cc1fa3d265f4195011f4f61a0c83e39acc
Size: 452,480 bytes

Submissions

hvjr7x4i
Submitted
Mon, 2 Sep 2019 06:39:19 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (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="1567106629"