coq-doc_8.4pl4-1_all.deb


Advertisement

Description

coq-doc - documentation for Coq

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Nonfree i386
Package filename coq-doc_8.4pl4-1_all.deb
Package name coq-doc
Package version 8.4pl4
Package release 1
Package architecture all
Package type deb
Category devel::doc made-of::html non-free/doc role::documentation role::metapackage
Homepage http://coq.inria.fr/
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 49.24 KB
Installed size 82.00 KB
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.4pl4-1_all.deb 8.4pl4 all Debian Nonfree
coq-doc - - -

Requires

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

Download

Type URL
Mirror ftp.br.debian.org
Binary Package coq-doc_8.4pl4-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

2014-08-17 - Stéphane Glondu <glondu@debian.org>
coq-doc (8.4pl4-1) unstable; urgency=medium
* New upstream release
* Update debian/watch
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.5
2013-12-12 - Stéphane Glondu <glondu@debian.org>
coq-doc (8.4pl2-1) unstable; urgency=medium
* New upstream release
* Debhelper compat level 9
* Update Vcs-*
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.

See Also

Package Description
cpp-4.8-doc_4.8.3-1_all.deb documentation for the GNU C preprocessor (cpp)
cpp-4.9-doc_4.9.1-3_all.deb documentation for the GNU C preprocessor (cpp)
crafty_23.4-6+deb8u1_i386.deb state-of-the-art chess engine, compatible with xboard
crash-whitepaper_1.0-1.1_all.deb Whitepaper for crash kernel debugging utility
cuneiform-common_1.1.0+dfsg-5_all.deb multi-language OCR system (common)
cuneiform_1.1.0+dfsg-5_i386.deb multi-language OCR system
d1x-rebirth_0.58.1-1_i386.deb port of the 1995 classic game Descent 1: First Strike
d2x-rebirth_0.58.1-1_i386.deb port of the 1996 classic game Descent 2: Counterstrike
dahdi-firmware-nonfree_2.10.0-1_all.deb DAHDI non-free firmware
dgen_1.23-12_i386.deb Sega Genesis/MegaDrive emulator
distributed-net_2.9111.520-2_i386.deb client to donate unused CPU cycles to distributed.net
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
Advertisement
Advertisement