package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 88 | patches |
 |
- | rw-r--r-- | 2,706 | Makefile.config |
|
- | rw-r--r-- | 3,475 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 1,846 | control |
|
- | rw-r--r-- | 8,104 | copyright |
|
- | rw-r--r-- | 52 | coq-doc-html.dirs |
|
- | rw-r--r-- | 508 | coq-doc-html.doc-base.faq |
|
- | rw-r--r-- | 498 | coq-doc-html.doc-base.manual |
|
- | rw-r--r-- | 732 | coq-doc-html.doc-base.rectutorial |
|
- | rw-r--r-- | 500 | coq-doc-html.doc-base.tutorial |
|
- | rw-r--r-- | 44 | coq-doc-pdf.dirs |
|
- | rw-r--r-- | 96 | coq-doc-pdf.docs |
|
- | rw-r--r-- | 43 | coq-doc-ps.dirs |
|
- | rw-r--r-- | 56 | coq-doc-ps.docs |
|
- | rwxr-xr-x | 1,553 | rules |
|
- | rw-r--r-- | 180 | svn-deblayout |