Ubuntu

“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
Component:
non-free
Architectures:
all
Section:
doc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Saucy release on 2013-04-25 multiverse doc
Raring release on 2012-10-18 multiverse doc
Quantal release on 2012-04-30 multiverse doc

Builds

Quantal: [FULLYBUILT] i386

Downloads

File Size MD5 Checksum
coq-doc_8.3pl4-1.dsc 2.2 KiB 2fe14d2e2086131dda4f79223a397662
coq-doc_8.3pl4.orig.tar.gz 3.7 MiB 88e2ce021b09eca207e3119d5202a695
coq-doc_8.3pl4-1.debian.tar.gz 8.4 KiB 2f75cb882a65f1f14cb5aad4dd653d72

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.