why3_1.0.0-1_mips64el.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 28 Jun 2018 03:08:39 +0000
Build-Path
/build/why3-aZYIEf/why3-1.0.0

First submitted
Fri, 26 Oct 2018 08:02:53 +0000
SHA1 of .buildinfo
a39c39093ddab73123e9b7ec848929354a20671c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_mips64el.deb)
SHA1: d12257ea44a252f429e71379daeae2d077dccfde
SHA256: cc108ece438b3c03f7a3487568df6c75bff6574e0852916a0ff3f0d7c11be69c

Size: 3,949,352 bytes
why3 (why3_1.0.0-1_mips64el.deb)
SHA1: 223bd531089121d794163cba8fe246ccd4537d45
SHA256: 76d6892a7ddaef2e9a838cebd53e872ea6eaab90c84af2a1a13e416d72550f53

Size: 54,231,812 bytes
why3-coq (why3-coq_1.0.0-1_mips64el.deb)
SHA1: 5de03332e849d53ca94b5f46883e5e9361873687
SHA256: c0b243c941cbdd4553839a80af4221ae762b63204ab3e4f7de51ee3a21c1723b

Size: 561,872 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_mips64el.deb
SHA1: 8a5e0b795ef8f6c2914a2fe6d6ddeddb9768b30c
Size: 104,480 bytes

Submissions

ytjoakst
Submitted
Fri, 26 Oct 2018 08:02:53 +0000
Signed by
0xC063E892FE96326E

Environment


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