Ubuntu
coq-doc package

coq-doc 8.18.0-1 source package in Ubuntu

Changelog

coq-doc (8.18.0-1) unstable; urgency=medium

  * Make sure the html documentation uses local mathjax (Closes: #1056948).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 25 Jan 2024 13:58:36 +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
Noble release multiverse doc

Builds

Noble: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-doc_8.18.0-1.dsc 2.5 KiB dfa9e01add547735cbfe92ace197eb323bf88a741ee124d94e9dacc3a227ccd0
coq-doc_8.18.0.orig.tar.gz 7.3 MiB 00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b
coq-doc_8.18.0-1.debian.tar.xz 7.9 KiB c6dc418bd9d138412cd4eed5ea6cdc87ac44cfa07c0c36301afdbf53272de812

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.