coq-doc 8.15.2-3 source package in Ubuntu
Changelog
coq-doc (8.15.2-3) unstable; urgency=medium * Add b-dep on OCaml's native compilers (Closes: #1014678). -- Julien Puydt <email address hidden> Thu, 14 Jul 2022 12:16: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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.15.2-3.dsc | 2.5 KiB | 6dbf3f0890d8b825b1e19f5fb23d001c1c76c9090768deccee940d262c4629a0 |
coq-doc_8.15.2.orig.tar.gz | 6.9 MiB | 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 |
coq-doc_8.15.2-3.debian.tar.xz | 8.0 KiB | 6925c470d10ccf6bb168c6f4df77cedf1255086e12ae67d8b283febb2ad5b400 |
Available diffs
- diff from 8.15.2-2 to 8.15.2-3 (490 bytes)
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.