coq-doc_8.3pl4-1_all.deb


Advertisement

Description

coq-doc - documentation for Coq

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Nonfree amd64
Package name coq-doc
Package version 8.3pl4
Package release 1
Package architecture all
Package type deb
Installed size 77 B
Download size 43.82 KB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
coq-doc_8.3pl4-1_all.deb 8.3pl4 all Debian Nonfree
coq-doc - - -

Requires

Name Value
coq-doc-html >= 8.3pl4-1
coq-doc-pdf >= 8.3pl4-1

Download

Type URL
Binary Package coq-doc_8.3pl4-1_all.deb
Source Package coq-doc

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install coq-doc deb package:
    # sudo apt-get install coq-doc

Files

Path
/usr/share/doc/coq/html
/usr/share/doc/coq/pdf
/usr/share/doc/coq-doc/changelog.Debian.gz
/usr/share/doc/coq-doc/changelog.gz
/usr/share/doc/coq-doc/copyright
/usr/share/doc/coq-doc/html
/usr/share/doc/coq-doc/pdf

Changelog

2012-04-06 - Stéphane Glondu <glondu@debian.org>
coq-doc (8.3pl4-1) unstable; urgency=low
* New upstream release
2012-01-03 - Stéphane Glondu <glondu@debian.org>
coq-doc (8.3pl3-1) unstable; urgency=low
* New upstream release
2011-05-06 - Stéphane Glondu <glondu@debian.org>
coq-doc (8.3pl2-1) unstable; urgency=low
* New upstream release
* Make dependencies of coq-doc versioned
* Bump debhelper compat level to 8
* Bump Standards-Version to 3.9.2
2010-01-07 - Stéphane Glondu <glondu@debian.org>
coq-doc (8.2pl1-1) unstable; urgency=low
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
- remove patches
* Packaging overhaul:
- use git, advertise it in Vcs-* fields of debian/control
- use debhelper 7 and dh with override
- use source format 3.0 (quilt)
* debian/control:
- set Maintainer to d-o-m, set Uploaders to Sam and myself
- add Homepage field
- bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright
[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
pdf format, not postscript, closes: #543545.
2007-04-14 - Samuel Mimram <smimram@debian.org>
coq-doc (8.1-3) unstable; urgency=low
* Removed tetex-bin from build-dependencies, and added texlive-base,
texlive-latex-extra, texlive-math-extra, texlive-lang-french and
texlive-humanities, closes: #420591.
2007-04-09 - Samuel Mimram <smimram@debian.org>
coq-doc (8.1-2) unstable; urgency=low
* Uploading to unstable.
2007-02-13 - Samuel Mimram <smimram@debian.org>
coq-doc (8.1-1) experimental; urgency=low
* New upstream release.
* Allow building with texlive in build-dependencies.
2007-01-16 - Samuel Mimram <smimram@debian.org>
coq-doc (8.1~gamma-2) experimental; urgency=low
* Correctly install html documentation, closes: #407117.
2007-01-07 - Samuel Mimram <smimram@debian.org>
coq-doc (8.1~gamma-1) experimental; urgency=low
* New upstream release.
* Added faq-urldef.dpatch to workaround hevea bug #405994.
2006-07-13 - Samuel Mimram <smimram@debian.org>
coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low
* New beta upstream release.

See Also

Package Description
cpp-4.4-doc_4.4.7-3_all.deb documentation for the GNU C preprocessor (cpp)
cpp-4.6-doc_4.6.3-2_all.deb documentation for the GNU C preprocessor (cpp)
cpp-4.7-doc_4.7.2-2_all.deb documentation for the GNU C preprocessor (cpp)
crafty_23.4-6_amd64.deb state-of-the-art chess engine, compatible with xboard
crash-whitepaper_1.0-1.1_all.deb Whitepaper for crash kernel debugging utility
cufflinks_1.3.0-2_amd64.deb Transcript assembly, differential expression and regulation for RNA-Seq
cuneiform-common_1.1.0+dfsg-4_all.deb multi-language OCR system (common)
cuneiform_1.1.0+dfsg-4_amd64.deb multi-language OCR system
dahdi-firmware-nonfree_2.6.1-1_all.deb DAHDI non-free firmware
doc-rfc-experimental_20120225-2_all.deb Experimental RFCs
doc-rfc-fyi-bcp_20120225-2_all.deb FYI and BCP RFCs
doc-rfc-informational_20120225-2_all.deb Informational RFCs
doc-rfc-misc_20120225-2_all.deb Historic and draft RFCs
doc-rfc-old-std_20120225-2_all.deb Old Standard RFCs
doc-rfc-others_20120225-2_all.deb Old experimental and unclassified RFCs
Advertisement
Advertisement