why3 (0.87.3-2)_0.87.3-2+b3_mipsel.buildinfo (view)

Source
why3 (0.87.3-2)
Version
0.87.3-2+b3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 26 Sep 2017 21:56:27 +0000
Build-Path
/build/why3-lcmPVl/why3-0.87.3

First submitted
Sat, 27 Oct 2018 12:55:49 +0000
SHA1 of .buildinfo
d139759af52509ff4ef1c4a606b8072a4c84889b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b3_mipsel.deb)
SHA1: f824f1ce6d09857eb0896980e63664eca9a5e0e1
SHA256: daf9cc3066e0ce818a5962d012be5b5d31e2555bd9325dad30461ed023e3539b

Size: 4,503,130 bytes
why3 (why3_0.87.3-2+b3_mipsel.deb)
SHA1: 0e619cb89e2952569735cb185107e61deb9e8fb6
SHA256: 911f6cd0ff237fa8413611aa4a9ed905a0e675ccf7d2aa62ba2b286415b007e8

Size: 53,103,216 bytes
why3-coq (why3-coq_0.87.3-2+b3_mipsel.deb)
SHA1: 420c851f779986d8ecfda96c76a5f31540c86f93
SHA256: a8fe19df36c9fac3dbc4d8c6ce40022b86801059920be93a49d15f9e04b18ace

Size: 4,945,140 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b3_mipsel.deb
SHA1: be42e000ea5535a22c364e1b073211fd5b6bf624
Size: 58,788 bytes

Submissions

9u3uk9zi
Submitted
Sat, 27 Oct 2018 12:55:49 +0000
Signed by
0xAFC7683A346A938B

Environment


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