Review: rocqnavi 0.5.1-1
Package Information
| Description | Generator of HTML documentation from Rocq files Rocq is a proof asssistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. This package provides a generator of HTML documentation for Rocq files, with: - generation of indexes - clickable notations - Markdown and LaTeX notations in comments - sidebar with the tree of modules |
|---|---|
| Maintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Changed By | Julien Puydt <jpuydt@debian.org> |
| Sponsor | jpuydt@debian.org |
| Distribution | experimental |
| Architecture | any |
| VCS | git: https://salsa.debian.org/ocaml-team/rocqnavi.git (browse) |
| Closes | #1142199 |
| Tracker | https://tracker.debian.org/pkg/rocqnavi |
| Uploaded | 19 hours ago |
New Package Report
.changes
| Source | rocqnavi |
|---|---|
| Version | 0.5.1-1 |
| Changed-By | Julien Puydt |
| Architecture | source amd64 |
| Distribution | experimental |
| Date | Sun, 19 Jul 2026 12:01:36 +0200 |
Changelog
rocqnavi (0.5.1-1) experimental; urgency=medium . * Initial release. (Closes: #1142199)
.dsc
| Section | ocaml |
|---|---|
| Priority | optional |
| Component | main |
| Package-List | rocqnavi deb ocaml optional arch=any |
debian/copyright
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: rocqnavi Source: https://github.com/affeldt-aist/rocqnavi Files: * Copyright: Reynard Affeldt License: GPL-2 Files: debian/* Copyright: 2026 Julien Puydt License: GPL-2 License: GPL-2 On Debian systems, the full text of the GNU General Public Licence version 2 can be found in: `/usr/share/common-licenses/GPL-2`.
Review Information
accepted — allocated to mechtilde 15 hours ago, started 15 hours ago, completed 15 hours ago.