why3 (0.88.3-2)_0.88.3-2+b1_mipsel.buildinfo (view)

Source
why3 (0.88.3-2)
Version
0.88.3-2+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 6 May 2018 09:06:05 +0000
Build-Path
/build/why3-tbtifr/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:48:16 +0000
SHA1 of .buildinfo
f7f4e761751b1c89048f9abd8ca201f5c16256b8

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_mipsel.deb)
SHA1: 3862e3a88105fb968be96087d975402163dfd26c
SHA256: 10196eb3c9071e2eb70352c669d0655eb09d676cd2dbc734366fa1bdfe3bdec4

Size: 3,476,256 bytes
why3 (why3_0.88.3-2+b1_mipsel.deb)
SHA1: 31dc09f7fd03dc67a9a1e51f35bbf441619931bc
SHA256: 70eb9640faded0266f0149815228aeb51d571515ea54c42f3ee4fcfddf2d4e97

Size: 43,111,720 bytes
why3-coq (why3-coq_0.88.3-2+b1_mipsel.deb)
SHA1: c2e4f319e3f6168a65a8ae067e277f3171dc5330
SHA256: fc4d2040b8b6e93e8b9871d6a59c33c430437d56a0c9790c935865ac65e7f52e

Size: 3,951,668 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2+b1_mipsel.deb
SHA1: 6236d4005d446f9b10a71f3ae158ec8c918c2457
Size: 85,704 bytes

Submissions

jt7pivp4
Submitted
Fri, 26 Oct 2018 10:48:16 +0000
Signed by
0x9150028A9B73F7F3

Environment


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