Ubuntu
coq-doc package

coq-doc 8.19.1-2 source package in Ubuntu

Changelog

coq-doc (8.19.1-2) unstable; urgency=medium

  * Call "dune build" with --release

 -- Stéphane Glondu <email address hidden>  Tue, 18 Jun 2024 11:16:07 +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 Pocket Published Component Section
Oracular release multiverse doc

Builds

Oracular: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-doc_8.19.1-2.dsc 2.3 KiB ca8ac7b40177bb5f6194ded51f99a20c725d041a95ab1e375276a34e90989a31
coq-doc_8.19.1.orig.tar.gz 7.3 MiB 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674
coq-doc_8.19.1-2.debian.tar.xz 7.9 KiB c1e8e6468aa88c002add62bc2b2ad6e01af5b2743d9af74145400c97b0524dd9

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.