Package: why3-doc-html
Architecture: all
Version: 1.6.0-1build7
Priority: optional
Section: universe/math
Source: why3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2933
Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-html_1.6.0-1build7_all.deb
Size: 771212
MD5sum: 1c79fb1f599be0a3201bf3bc3cb4ec32
SHA1: 626448896c83c3193d6ffe57bbd02b1ab6b0fc6a
SHA256: eae364103dd18cfa862eb479ed62d1ae4abc770f2afccb1c411c5c16f197962f
SHA512: 6aab2bea2cdc4c47d0cdd71806c681857ed552eb55c4cb068bfbee4ae9acacde72bd851d57d556e42d7aee215d0f8839a91e7fdd77b8e5b77ea991a560f05910
Homepage: http://why3.lri.fr/
Description: HTML Documentation of the why3 verification platform
Description-md5: dfe9f02c0fe254a61046f478fb97b4db