Bug#1142199: ITP: rocqnavi -- Generator of HTML documentation from Rocq files

Julien Puydt <[email protected]> Thu, 16 Jul 2026 15:03:52 +0200

Newsgroups	gmane.linux.debian.devel.general
Message-ID	<178420703226.312006.2111434348483497758.reportbug__21823.8384857372$1784207145$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