Ubuntu
coq-doc package

coq-doc 8.20.0-2 source package in Ubuntu

Changelog

coq-doc (8.20.0-2) UNRELEASED; urgency=medium

  * Add patch to compile with recent Python versions
    (Closes: #1093324, #1093100).

 -- Julien Puydt <email address hidden>  Mon, 20 Jan 2025 12:58:56 +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 Pocket Published Component Section
Questing release multiverse doc
Plucky release multiverse doc

Builds

Plucky: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-doc_8.20.0-2.dsc 2.5 KiB 4263c2af2ad533d622ecfa351d899b77f668ba4cdd99bb9207f6e261af69977f
coq-doc_8.20.0.orig.tar.gz 7.5 MiB b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914
coq-doc_8.20.0-2.debian.tar.xz 8.6 KiB 6dfb06fb53e171367e4ac484de4fcc2c748d59d2c075efbb28ed5006ef566992

Available diffs

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.