Ubuntu
coq-doc package

coq-doc 8.20.0-2build1 source package in Ubuntu

Changelog

coq-doc (8.20.0-2build1) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 03 Dec 2025 10:54:55 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Resolute
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
doc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Resolute release multiverse doc

Builds

Resolute: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-doc_8.20.0.orig.tar.gz 7.5 MiB b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914
coq-doc_8.20.0-2build1.debian.tar.xz 8.7 KiB 290a7f91d9e54508ff6f719edca532673222045541be2015fd1f5e62546e1a88
coq-doc_8.20.0-2build1.dsc 2.5 KiB c20a82108a309bfdd5d2e742aa8ebd81e0710e39fbdf97e33b620a06850ed519

View changes file

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.