Ubuntu
coq-doc package

coq-doc 8.17.1-1 source package in Ubuntu

Changelog

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

  [ Stéphane Glondu ]
  * New upstream release
  * Build-depend on ocaml-dune
  * Remove Samuel and Hendrik from Uploaders
  * Bump Standards-Version to 4.6.2

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05).

 -- Stéphane Glondu <email address hidden>  Sat, 12 Aug 2023 12:49: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 Pocket Published Component Section
Mantic release multiverse doc

Builds

Mantic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
coq-doc_8.17.1-1.dsc 2.3 KiB 49159b8bc4846db0fcf2d473ee16364d32a0406e9aea98bbffd8a69f2759834e
coq-doc_8.17.1.orig.tar.gz 7.2 MiB 724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6
coq-doc_8.17.1-1.debian.tar.xz 7.8 KiB feaae18115f048181e4d3c1471181c306037da14eef80070f7e48ea89dadf65a

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.