all options
lenny  ] [  squeeze  ] [  wheezy  ] [  sid  ]
[ Source: coq-doc  ]

Package: coq-doc-pdf (8.3pl3-1) [non-free]

Links for coq-doc-pdf

Screenshot

Debian Resources:

Download Source Package coq-doc:

Maintainers:

External Resources:

Similar packages:

documentation for Coq in pdf format

Download coq-doc-pdf

Download for all available architectures
Architecture Package Size Installed Size Files
all 2,374.1 kB2,411.0 kB [list of files]