coq-doc 8.17.1-1 source package in Ubuntu
Changelog
coq-doc (8.17.1-1) unstable; urgency=medium [ Stéphane Glondu ] * New upstream release * Build-depend on ocaml-dune * Remove Samuel and Hendrik from Uploaders * Bump Standards-Version to 4.6.2 [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05). -- Stéphane Glondu <email address hidden> Sat, 12 Aug 2023 12:49:36 +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 | |
---|---|---|---|---|
Mantic | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.17.1-1.dsc | 2.3 KiB | 49159b8bc4846db0fcf2d473ee16364d32a0406e9aea98bbffd8a69f2759834e |
coq-doc_8.17.1.orig.tar.gz | 7.2 MiB | 724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6 |
coq-doc_8.17.1-1.debian.tar.xz | 7.8 KiB | feaae18115f048181e4d3c1471181c306037da14eef80070f7e48ea89dadf65a |
Available diffs
- diff from 8.16.1-1 to 8.17.1-1 (1.3 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: 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.