Artifact why3-doc-html_1.5.1-1_all

deb_control_files:
- control
- md5sums
- postinst
- postrm
deb_fields:
  Architecture: all
  Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
  Description: |-
    HTML Documentation of the why3 verification platform
     This package contains the tutorial and reference manual of the
     why3 verification platform in HTML format.
  Homepage: http://why3.lri.fr/
  Installed-Size: '2565'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: why3-doc-html
  Priority: optional
  Section: math
  Source: why3
  Suggests: why3
  Version: 1.5.1-1
srcpkg_name: why3
srcpkg_version: 1.5.1-1