coq-doc 8.3pl4-1 source package in Ubuntu

Changelog

coq-doc (8.3pl4-1) unstable; urgency=low


  * New upstream release

 -- St├ęphane Glondu <email address hidden>  Fri, 06 Apr 2012 07:33:19 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2012-04-06
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
doc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Quantal: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
coq-doc_8.3pl4-1.dsc 2.2 KiB 3291c3fbb6ce4a2bcd0c18ba32f2659f297d38fb22dd442c31911fca3d609ceb
coq-doc_8.3pl4.orig.tar.gz 3.7 MiB 79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d
coq-doc_8.3pl4-1.debian.tar.gz 8.4 KiB eed0fc02536d287543d1a30812995d0dbe580e302e2635d98c14734be47380de

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.