Package: why3-doc-html
Source: why3
Priority: optional
Section: universe/math
Installed-Size: 3389
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1.8.2-3build1
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-3build1_all.deb
Size: 915434
MD5sum: 2ea8ca5239330d757b168c8e8bafe799
SHA1: c8ccd686b14a74d2360a2bb620f28534128316d2
SHA256: 61b18d354f2d46ad1c75de926f5aca4ceafe0a3c092d2848ffdb5bacac26fb29
SHA512: 20ab3436ac2e342d4f14c91169525dbaddb35660aae646bf09c1ba4ba44f382834c22dac63d68e38f96fb67b6e1c015f7b320f3a5cce783aef0fc552b2d1fc5e
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