coq-doc 8.6-1 source package in Ubuntu
Changelog
coq-doc (8.6-1) unstable; urgency=medium * Team upload. * New upstream version 8.6 (Closes: #864468) * add myself to uploaders * bump standards version to 4.0.0 * fix build dependencies * changed Vcs fields to https * fixed missing axiom picture in FAQ * remove unterminated_string_literal patch (fixed upstream) * updated doc-base entries * added .gitignore in debian dir to ignore editor backups -- Hendrik Tews <email address hidden> Wed, 05 Jul 2017 22:29:28 +0200
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 | |
---|---|---|---|---|
Focal | release | multiverse | doc | |
Bionic | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.6-1.dsc | 2.3 KiB | 891b5c950b816da588e1c79fcff3c2d2ec6edfecdd67941764f19ca71b9f6dca |
coq-doc_8.6.orig.tar.gz | 5.3 MiB | 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df |
coq-doc_8.6-1.debian.tar.xz | 8.1 KiB | 23e6aa6301217856b5502c80ad42e50e6a8d71fc82e79ba26f0f22b627bd03b6 |
Available diffs
- diff from 8.4pl4-2 to 8.6-1 (4.1 MiB)
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 eoan.
No description available for coq-doc-html in ubuntu eoan.
- 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.