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

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

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 2 Jan 2018 10:58:33 +0000
Build-Path
/build/why3-5B61Dl/why3-0.88.2

First submitted
Sat, 27 Oct 2018 14:42:45 +0000
SHA1 of .buildinfo
a1fdd1cc3e8b915d62833334f1226dc69a9a66b1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1+b1_mipsel.deb)
SHA1: b1a76f2e991342ea5f3727e975a3ae1c15d7a976
SHA256: 19fb2ebce6abcbc84da0064ec137def91f17da5e69761bca5d30a5d3fc2d32c6

Size: 3,477,216 bytes
why3 (why3_0.88.2-1+b1_mipsel.deb)
SHA1: c16bc3cf5e1893036264e90c9576b8734615871d
SHA256: 9d946a2e50a2dae2f33e2cb5213661bca184f8d77570d65fe2f3a1e32c1a0298

Size: 43,162,488 bytes
why3-coq (why3-coq_0.88.2-1+b1_mipsel.deb)
SHA1: c495bb926dfd3a4f339f4b4378835b554d9bc7a3
SHA256: ec2d39cb54dd49e050f54c05be8427e535eee575f2923d84d62f2dd05214e0a2

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

Other checksums

why3-dbgsym_0.88.2-1+b1_mipsel.deb
SHA1: 91643b98ee9df64684619c1411c731b8625c6ede
Size: 85,608 bytes

Submissions

3inwfen7
Submitted
Sat, 27 Oct 2018 14:42:45 +0000
Signed by
0x69E7B044635B7843

Environment


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