package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2

Folder: debian

d .. (parent)
d d rwxr-xr-x 65 patches
d d rwxr-xr-x 19 source
- - rw-r--r-- 2,706 Makefile.config
- - rw-r--r-- 5,438 changelog
- - rw-r--r-- 254 clean
- - rw-r--r-- 2 compat
- - rw-r--r-- 1,926 control
- - rw-r--r-- 9,735 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-- 61 watch