why3_0.88.3-3_mips.buildinfo (view)

Source
why3
Version
0.88.3-3
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Sun, 27 May 2018 13:22:49 +0000
Build-Path
/build/why3-KJbhNX/why3-0.88.3

First submitted
Fri, 26 Oct 2018 15:35:32 +0000
SHA1 of .buildinfo
d339825682018fdea6adf34d6603ee7a1ccc6e58

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-3_mips.deb)
SHA1: 63c8c439bd3618e3c14af17b97fd9a3b5f8f0ec5
SHA256: ab010e36d04b2008ee46f6ab725b2c30d34803148afeb831f17a287e46926a3a

Size: 3,476,632 bytes
why3 (why3_0.88.3-3_mips.deb)
SHA1: 7e8f1436b36bcedd99286636ef07a180fa41c302
SHA256: 62b27237ade4af1c5e8af3eab24f92ec6eb31b4296ea284a93efc48a950d7ee0

Size: 43,169,672 bytes
why3-coq (why3-coq_0.88.3-3_mips.deb)
SHA1: a445e897f8c8ce870640cf7d7ed19d1ef6875577
SHA256: 1a70e1997b2dd0778b3004f935ebd896bb8154f89821e8b613d9612cf9747f49

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

Other checksums

why3-dbgsym_0.88.3-3_mips.deb
SHA1: e4ae907f311662ab0e9bfec7b6477c3e895425e9
Size: 84,156 bytes

Submissions

obhcsvte
Submitted
Fri, 26 Oct 2018 15:35:32 +0000
Signed by
0x7412D443A21747C4

Environment


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