Package: wnpp Severity: wishlist Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: [email protected], Debian OCaml Maintainers <[email protected]>, [email protected]
* Package name : rocqnavi Version : 0.5.1 Upstream Contact: Reyanald Affeldt * URL : https://github.com/affeldt-aist/rocqnavi * License : GPL-2 Programming Lang: OCaml Description : Generator of HTML documentation from Rocq files Generator of HTML documentation for Rocq files, with: - generation of indexes - clickable notations - Markdown and LaTeX notations in comments - sidebar with tree of modules This is a new dependency of the latest version of the already packaged mathcomp/ssreflect, so I would need it to update it. As it is in the Debian OCaml maintainers team, I plan to support this package there also. Cheers, J.Puydt
