Package: rocqnavi
Version: 0.5.1-2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 4317
Depends: libc6 (>= 2.42)
Recommends: coq
Section: ocaml
Priority: optional
Homepage: https://github.com/affeldt-aist/rocqnavi
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
