Package: why3-doc-html
Source: why3
Priority: optional
Section: universe/math
Installed-Size: 3425
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1.8.2-3build3
Suggests: why3
Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
Filename: pool/universe/w/why3/why3-doc-html_1.8.2-3build3_all.deb
Size: 916598
SHA512: aedcb480f61413fe2595f08a9b33ba771e7c0ae8a63b70a8faaa5d1ad182660270bfec05b863670abdfe0e393afee4e8ad71a9121557aa1655125d3b1fc64394
Homepage: https://www.why3.org/
Description: HTML Documentation of the why3 verification platform
Description-md5: dfe9f02c0fe254a61046f478fb97b4db
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug