why3_0.88.3-2_armel.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 8 Apr 2018 21:17:34 +0000
Build-Path
/build/why3-qm3axi/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:24:23 +0000
SHA1 of .buildinfo
0ae5295f51b3efed33747c6b2ea48c2a545cfbdb

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_armel.deb)
SHA1: d9693a5e0f845c9fab2e252e0eb935b8beeed227
SHA256: 89e5dafac95f6b583ade88d06ef42156cf8752ce791e2bbdb228580e2437dec7

Size: 3,476,868 bytes
why3 (why3_0.88.3-2_armel.deb)
SHA1: 5afed8984ccdde0a8a5c736354e1ccd0dea49932
SHA256: fa3e9f96b53cd4e908303e87c2aaa14ff608cffcd459cd00e2d9aa883e577e04

Size: 43,097,892 bytes
why3-coq (why3-coq_0.88.3-2_armel.deb)
SHA1: dfd67b10c15f9da22c916dbdf6f5470cddc9a752
SHA256: 29a98e20aef8f5cd4107af8ae58fac3c2b6b5b06a9e3c565b2dd6c4f5da7bec9

Size: 3,952,028 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2_armel.deb
SHA1: fa5e89bd5bee780f643a1943ef386bd99add7887
Size: 82,300 bytes

Submissions

t4ixq3ye
Submitted
Fri, 26 Oct 2018 18:24:24 +0000
Signed by
0xBA9B028E4BB7E93A

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1523094841"