why3_0.88.2-1_mips.buildinfo (view)

Source
why3
Version
0.88.2-1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Tue, 12 Dec 2017 22:27:43 +0000
Build-Path
/build/why3-D61RMR/why3-0.88.2

First submitted
Thu, 25 Oct 2018 21:39:01 +0000
SHA1 of .buildinfo
9ae0a0b5ddd14eb6fabe1d77c981bae1f649b18c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1_mips.deb)
SHA1: 388e5bbca94994eb73567dbe19456ebccd96e890
SHA256: 31b7aa0a6a3464ca5f7dfdebabd836f751705c22d1872672c01b32a767b887db

Size: 3,476,044 bytes
why3 (why3_0.88.2-1_mips.deb)
SHA1: 7a417c53281f18e8aef79e67b3d738c169177faf
SHA256: f41a0d14ed7c73a6f0f9e5f91fe1e557b4321f79b0702a1992ab5dd7cd932387

Size: 43,215,880 bytes
why3-coq (why3-coq_0.88.2-1_mips.deb)
SHA1: 42ea37e12a6408d38e44bb80ce957dd8d762fd4c
SHA256: 4acf65f1e38354ef6571b3de732169686e738fbcb392f4ba8e22151135ff556c

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

Other checksums

why3-dbgsym_0.88.2-1_mips.deb
SHA1: fca0a5aefd57cb6b90d5ce54733663f2c355a68a
Size: 84,100 bytes

Submissions

xixvc4as
Submitted
Thu, 25 Oct 2018 21:39:01 +0000
Signed by
0x5D72928162D605A5

Environment


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