coq-doc 8.15.0-3 source package in Ubuntu
Changelog
coq-doc (8.15.0-3) unstable; urgency=medium * Fix b-deps again (Closes: #1005920). -- Julien Puydt <email address hidden> Tue, 22 Feb 2022 14:02:25 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- doc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Jammy | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.15.0-3.dsc | 2.5 KiB | 738df330b2eeb0b1cba3e8c7852253cfab2ca595b8376e4e420578df9afd43b7 |
coq-doc_8.15.0.orig.tar.gz | 6.9 MiB | 73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3 |
coq-doc_8.15.0-3.debian.tar.xz | 7.4 KiB | 215ec135c804ec5fe7788c56efca77378fbfc92cee61f8ea9e68f58576472fb9 |
Available diffs
- diff from 8.6-1 to 8.15.0-3 (7.8 MiB)
- diff from 8.15.0-2 to 8.15.0-3 (553 bytes)
No changes file available.
Binary packages built by this source
- coq-doc: documentation for Coq
Coq is a proof assistant 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 is a dummy package which will install the documentation in html and
pdf formats.
- coq-doc-html: No summary available for coq-doc-html in ubuntu kinetic.
No description available for coq-doc-html in ubuntu kinetic.
- coq-doc-pdf: documentation for Coq in pdf format
Coq is a proof assistant 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 contains its documentation and tutorials in pdf format.