why3_0.88.3-3_mips64el.buildinfo (view)

Source
why3
Version
0.88.3-3
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 27 May 2018 13:15:57 +0000
Build-Path
/build/why3-vyMjy6/why3-0.88.3

First submitted
Fri, 26 Oct 2018 15:35:33 +0000
SHA1 of .buildinfo
1202f0d77815748596b180f04cd0252fbb4cf7c1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-3_mips64el.deb)
SHA1: dd2a9ba4063d572a92c146607576c042f4379482
SHA256: fe9adac89bcf5e25fc71f8f91b06022d5cd53a5c6c1083ac9e10021ec841e36b

Size: 3,478,388 bytes
why3 (why3_0.88.3-3_mips64el.deb)
SHA1: d5abf84c1d7da18fbb098f4e3a2c0085f281bf9f
SHA256: 4c006a89865748b5fb5e9eb5fd726f8bc032a2d945efd262c40f93ef1fbb9512

Size: 43,121,704 bytes
why3-coq (why3-coq_0.88.3-3_mips64el.deb)
SHA1: 9c3606a58c615e8d5423d8e39099c3b3b0283ed8
SHA256: bfcb80e779a9df6a7d5e731cd45e6c6787bc3afed15876d78f3670afb30bd54f

Size: 3,948,960 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-3_mips64el.deb
SHA1: 13e085e7ac2271de9580cd5f7a18c16732c56c2c
Size: 89,056 bytes

Submissions

4xsngfoz
Submitted
Fri, 26 Oct 2018 15:35:33 +0000
Signed by
0x0E8B73AB6C6E8A49

Environment


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