Package: why3-doc-html
Architecture: all
Version: 1.8.1-1
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: 3413
Depends: tex-common (>= 6.13), libjs-jquery, libjs-underscore, libjs-mathjax, libjs-sphinxdoc
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-html_1.8.1-1_all.deb
Size: 929558
MD5sum: 956d3364a72a49d9a85a1ba0c9271376
SHA1: e0ce9d5fd5c5a23ef1f08fa61d0995e855f39212
SHA256: 904b3538d72118a31e2b1cfba59fb9afec949bc18091835da8610d04e1a3cf39
SHA512: ce215a60f6007e06d4ee2bceb8f210c901ec047ad5c3c486e725d46293f4d47396459f94ca169cfedd6a98f14e3276807afd2d87eed8bd79e07167889208814e
Homepage: https://www.why3.org/
Description: HTML Documentation of the why3 verification platform
Description-md5: dfe9f02c0fe254a61046f478fb97b4db