coq-doc-pdf_8.4pl4-1_all.deb


Advertisement

Description

coq-doc-pdf - documentation for Coq in pdf format

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

Alternatives

Package Version Architecture Repository
coq-doc-pdf_8.4pl4-1_all.deb 8.4pl4 all Debian Nonfree
coq-doc-pdf - - -

Replaces

Name Value
coq-doc <= 8.0pl1.0-1

Download

Type URL
Mirror ftp.br.debian.org
Binary Package coq-doc-pdf_8.4pl4-1_all.deb
Source Package coq-doc

Install Howto

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

Files

Path
/usr/share/doc-base/coq-faq-pdf
/usr/share/doc-base/coq-manual-pdf
/usr/share/doc-base/coq-rectutorial-pdf
/usr/share/doc-base/coq-tutorial-pdf
/usr/share/doc/coq-doc-pdf/FAQ.v.pdf.gz
/usr/share/doc/coq-doc-pdf/RecTutorial.pdf.gz
/usr/share/doc/coq-doc-pdf/Reference-Manual.pdf.gz
/usr/share/doc/coq-doc-pdf/Tutorial.v.pdf.gz
/usr/share/doc/coq-doc-pdf/changelog.Debian.gz
/usr/share/doc/coq-doc-pdf/changelog.gz
/usr/share/doc/coq-doc-pdf/copyright

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
coq-doc_8.4pl4-1_all.deb documentation for Coq
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
Advertisement
Advertisement