why3 (0.88.2-1)_0.88.2-1+b1_mips64el.buildinfo (view)

Source
why3 (0.88.2-1)
Version
0.88.2-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 2 Jan 2018 11:16:42 +0000
Build-Path
/build/why3-qHnMhQ/why3-0.88.2

First submitted
Sat, 27 Oct 2018 14:43:05 +0000
SHA1 of .buildinfo
0b27dcad7842d76aada2727d8e035c3d26089991

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1+b1_mips64el.deb)
SHA1: 47a36bb28ad7e75ba70afced1e33ee027b3c55e9
SHA256: 43b2a0c8d775121ff2379e219a0c0fac176980725c91fe370eca237dc1e0e77e

Size: 3,476,112 bytes
why3 (why3_0.88.2-1+b1_mips64el.deb)
SHA1: 869961724132d999607e3122b6c1745908faa3c9
SHA256: a6eea68aa26d8c1607507ff9add3154753fee89f67a7b7ecef511f49684006bf

Size: 43,167,764 bytes
why3-coq (why3-coq_0.88.2-1+b1_mips64el.deb)
SHA1: ca1fc0f8940a12a2e1fc7e2a44c81a81f8075a07
SHA256: d78710813ef99631d4dbca412fefcfe3d90eb793b9b65657edd14701ee94e3d4

Size: 3,946,544 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.2-1+b1_mips64el.deb
SHA1: cb7a8a80ed429d33a8509d82074360402940fe32
Size: 88,920 bytes

Submissions

px9pijbw
Submitted
Sat, 27 Oct 2018 14:43:06 +0000
Signed by
0xC063E892FE96326E

Environment


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