coq-doc 8.16.1-1 source package in Ubuntu
Changelog
coq-doc (8.16.1-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Fri, 09 Dec 2022 21:55:15 +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 | |
---|---|---|---|---|
Lunar | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.16.1-1.dsc | 2.6 KiB | cf9fc6581ecab7e43342467ac8d58ef6c928bc51f50be9fa2092e3a4086c68b4 |
coq-doc_8.16.1.orig.tar.gz | 7.1 MiB | 583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b |
coq-doc_8.16.1-1.debian.tar.xz | 7.6 KiB | 9452d2c8da75fbd7bea82f5f02ec85e4de9f2e5e8d50aeb376569dae5bcc6dd5 |
Available diffs
- diff from 8.16.0-2 to 8.16.1-1 (20.9 KiB)
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: documentation for Coq in html 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 html format.
- 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.