why3_1.2.1-6_armhf.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 8 Mar 2020 21:19:38 +0000
Build-Path
/build/why3-vRrRbv/why3-1.2.1

First submitted
Mon, 9 Mar 2020 00:14:25 +0000
SHA1 of .buildinfo
56d40e288da1145d893927498a277f3689553956

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_armhf.deb)
SHA1: bf9dd79cc233a72b303fa36fdc6afe9baed1ee93
SHA256: c66de3b00b7a3a420817652cb857fffc40cf61f31335fef209f3e95852ac55a3

Size: 8,058,588 bytes
why3 (why3_1.2.1-6_armhf.deb)
SHA1: 6adfd3e76ebbf5faa6646f1d899c17c28c720fbb
SHA256: a8c93160c83f74634bc8dcb15aee84afa2eed2261f27a34d66b4c5bf2b601c97

Size: 20,413,764 bytes
why3-coq ()
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-6_armhf.deb
SHA1: 989f159a3b65e39b68ab6ddc951b2591b453a0f8
Size: 5,628,756 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_armhf.deb
SHA1: 5d33a306093e3743c47af9c27de21a6745e8b835
Size: 464,600 bytes

Submissions

kpvkjass
Submitted
Mon, 9 Mar 2020 00:14:25 +0000
Signed by
0x9D9A36A270771481

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1583696219"