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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 2 Jan 2018 10:38:01 +0000
Build-Path
/build/why3-G8aECT/why3-0.88.2

First submitted
Sat, 27 Oct 2018 14:42:36 +0000
SHA1 of .buildinfo
4764d975d7ee2d625d4d6f0390f319d26e17460c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1+b1_i386.deb)
SHA1: 2b4d50c866d54d5b7027b976f1e3080b273cebda
SHA256: b23b92d5f46fcb52989dcad74fe8909f24d335c3128ce3685cfb32fcbd184cb0

Size: 1,829,204 bytes
why3 (why3_0.88.2-1+b1_i386.deb)
SHA1: abfe66c102fab1e7742aa90b30d14dcc38445642
SHA256: c9bf8841248a65aaf1c709f3a40c42d1cebec11edc3e38d966b963bf4d18eaaa

Size: 13,129,316 bytes
why3-coq (why3-coq_0.88.2-1+b1_i386.deb)
SHA1: fb9f60a7ccf39d0e733e640f16f573f62215d868
SHA256: 666c9530af9a9ce40edae1bb6d89fd5a256e0cc6eb28a80344cd51f20ccc5b56

Size: 1,907,192 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.2-1+b1_i386.deb
SHA1: 477af0c93ce70343cc1203ff921d311b6e84c9c6
Size: 4,428,716 bytes
why3-coq-dbgsym_0.88.2-1+b1_i386.deb
SHA1: 5d81202db852636117d833aa36472b6cbf9d3ac9
Size: 435,192 bytes

Submissions

yhnhfem9
Submitted
Sat, 27 Oct 2018 14:42:37 +0000
Signed by
0x15F701042D3F0B48

Environment


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