packages [ stonking ]
[ Source: rocqnavi ]
Package: rocqnavi (0.5.1-2) [universe]
Links for rocqnavi
Ubuntu Resources:
Download Source Package rocqnavi:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [github.com]
Similar packages:
Generator of HTML documentation from Rocq files
Other Packages Related to rocqnavi
|
|
|
|
-
- dep: libc6 (>= 2.42)
- GNU C Library: Shared libraries
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
Download rocqnavi
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 972.6 kB | 3,549.0 kB | [list of files] |
| arm64 | 1,140.1 kB | 4,317.0 kB | [list of files] |
| ppc64el | 1,060.6 kB | 3,997.0 kB | [list of files] |
| riscv64 | 1,063.9 kB | 3,858.0 kB | [list of files] |
| s390x | 1,043.4 kB | 4,133.0 kB | [list of files] |