why3_0.88.3-2_mips64el.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 8 Apr 2018 19:36:07 +0000
Build-Path
/build/why3-qjZ3C9/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:21:09 +0000
SHA1 of .buildinfo
804cf74f80182b8dba42837160d8612154b4e06a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_mips64el.deb)
SHA1: b312df9d1571ff764271793e169562126a0021ff
SHA256: ad708cf7657fe6fe3fe073004207b041fc225921a77c4fa8a9d8957872db2cb2

Size: 3,475,532 bytes
why3 (why3_0.88.3-2_mips64el.deb)
SHA1: ccfa0a0a6a25f637d2ed33839c39c94286aca33b
SHA256: fbc2bee370e191a93fea36526af497e52b7d4c52f33fbe216249c84de9ac2856

Size: 43,121,324 bytes
why3-coq (why3-coq_0.88.3-2_mips64el.deb)
SHA1: ce302ff381c5be82ab842da8c9fd7215a253ca1f
SHA256: c0859793ef1c519b34423cef70922f86978876939d44926e0b78ec3a784f91a3

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

Other checksums

why3-dbgsym_0.88.3-2_mips64el.deb
SHA1: 7c7e5dff3cf04fd6a0b9aebb612a59a95de1b029
Size: 89,176 bytes

Submissions

pdkqyzun
Submitted
Fri, 26 Oct 2018 18:21:10 +0000
Signed by
0xC063E892FE96326E

Environment


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