coq-doc 8.18.0-1 source package in Ubuntu
Changelog
coq-doc (8.18.0-1) unstable; urgency=medium * Make sure the html documentation uses local mathjax (Closes: #1056948). * New upstream release. -- Julien Puydt <email address hidden> Thu, 25 Jan 2024 13:58:36 +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 | |
---|---|---|---|---|
Noble | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.18.0-1.dsc | 2.5 KiB | dfa9e01add547735cbfe92ace197eb323bf88a741ee124d94e9dacc3a227ccd0 |
coq-doc_8.18.0.orig.tar.gz | 7.3 MiB | 00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b |
coq-doc_8.18.0-1.debian.tar.xz | 7.9 KiB | c6dc418bd9d138412cd4eed5ea6cdc87ac44cfa07c0c36301afdbf53272de812 |
Available diffs
- diff from 8.17.1-1 to 8.18.0-1 (996.1 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.