why3_1.0.0-2_mips64el.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 12 Aug 2018 23:58:48 +0000
Build-Path
/build/why3-enXeZM/why3-1.0.0

First submitted
Thu, 25 Oct 2018 03:02:33 +0000
SHA1 of .buildinfo
a4d65c67d8fe9b446085e9c7c148e4ad8c693013

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_mips64el.deb)
SHA1: 55ffd4117e1bf1093cd7c55763ac34cb1d79c888
SHA256: 1aafcd251f2dd6b433ac1b44b95986f6f708c94015b85eab736ea6bd66da4990

Size: 3,947,200 bytes
why3 (why3_1.0.0-2_mips64el.deb)
SHA1: a22ecd83757765325edba7825d49ec585b3becfb
SHA256: 9426ecf3cefea08df7b5957c1ba1c037ddb3babcebad94fa050a80e8259670a0

Size: 54,231,440 bytes
why3-coq (why3-coq_1.0.0-2_mips64el.deb)
SHA1: 5de226fd4c4763c68c22051973a997565d4c3239
SHA256: adf50116a38909c87acfefb65ae24da8eb5934dddf9f6731d79de78650f7493a

Size: 562,144 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-2_mips64el.deb
SHA1: 3836d37e8155bf38c3ac66a94e8ce1355681915e
Size: 109,492 bytes

Submissions

qj3vyeyb
Submitted
Thu, 25 Oct 2018 03:02:34 +0000
Signed by
0xCF69A5775BDC5DFD

Environment


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