Bug#1142199: ITP: rocqnavi -- Generator of HTML documentation from Rocq files
Julien Puydt <[email protected]>
| Newsgroups | gmane.linux.debian.devel.wnpp |
|---|---|
| Message-ID | <178420703226.312006.2111434348483497758.reportbug__42463.434631803$1784207133$gmane$org@efrim> |
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