package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327

Folder: debian

d .. (parent)
d d rwxr-xr-x 27 source
- - rw-r--r-- 2,706 Makefile.config
- - rw-r--r-- 4,233 changelog
- - rw-r--r-- 254 clean
- - rw-r--r-- 2 compat
- - rw-r--r-- 1,872 control
- - rw-r--r-- 9,966 copyright
- - rw-r--r-- 523 coq-doc-html.doc-base.faq
- - rw-r--r-- 513 coq-doc-html.doc-base.manual
- - rw-r--r-- 745 coq-doc-html.doc-base.rectutorial
- - rw-r--r-- 515 coq-doc-html.doc-base.tutorial
- - rw-r--r-- 263 coq-doc-html.install
- - rw-r--r-- 474 coq-doc-pdf.doc-base.faq
- - rw-r--r-- 465 coq-doc-pdf.doc-base.manual
- - rw-r--r-- 690 coq-doc-pdf.doc-base.rectutorial
- - rw-r--r-- 461 coq-doc-pdf.doc-base.tutorial
- - rw-r--r-- 110 coq-doc-pdf.docs
- - rw-r--r-- 226 coq-doc.links
- - rw-r--r-- 30 gbp.conf
- - rwxr-xr-x 567 rules
- - rw-r--r-- 78 watch