package info
(click to toggle)
coq-doc 7.2-1
- links: PTS
- area: main
- in suites: woody
- size: 1,232 kB
- ctags: 1
- sloc: makefile: 34
Folder: 7.2-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 86 | debian |
 |
- | rw-r--r-- | 395,597 | Library.ps.gz |
|
- | rw-r--r-- | 1,811 | README |
|
- | rw-r--r-- | 94,493 | Reference-Manual-addendum.ps.gz |
|
- | rw-r--r-- | 368,835 | Reference-Manual-all.ps.gz |
|
- | rw-r--r-- | 304,649 | Reference-Manual-base.ps.gz |
|
- | rw-r--r-- | 52,311 | Tutorial.ps.gz |