coq-doc 8.4pl4-2 source package in Ubuntu
Changelog
coq-doc (8.4pl4-2) unstable; urgency=medium * Team upload * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3 (closes: #813063) -- Ralf Treinen <email address hidden> Thu, 11 Feb 2016 22:26:54 +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 | |
---|---|---|---|---|
Xenial | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.4pl4-2.dsc | 2.2 KiB | f201ed002ffb53915d6964e545ca3dda4937ff2b87a0e3f4e5a68b60c4d568e5 |
coq-doc_8.4pl4.orig.tar.gz | 3.9 MiB | 06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 |
coq-doc_8.4pl4-2.debian.tar.xz | 8.2 KiB | 061c31efe52366686526fc1d9636f584e5505a6bc4c93910965311b3830c7d28 |
Available diffs
- diff from 8.4pl4-1 to 8.4pl4-2 (663 bytes)
No changes file available.
Binary packages built by this source
- coq-doc: No summary available for coq-doc in ubuntu yakkety.
No description available for coq-doc in ubuntu yakkety.
- 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: No summary available for coq-doc-pdf in ubuntu yakkety.
No description available for coq-doc-pdf in ubuntu yakkety.