package info
(click to toggle)
coq 8.0pl2-2
- links: PTS
- area: main
- in suites: sarge
- size: 14,228 kB
- ctags: 17,685
- sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
Folder: debian
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,685 | README.Debian |
|
- | rw-r--r-- | 164 | TODO.Debian |
|
- | rw-r--r-- | 7,876 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 3,025 | control |
|
- | rw-r--r-- | 1,949 | copyright |
|
- | rw-r--r-- | 2,434 | coq-interface.1 |
|
- | rw-r--r-- | 96 | coq-libs.install |
|
- | rw-r--r-- | 65 | coq.dirs |
|
- | rw-r--r-- | 11 | coq.docs |
|
- | rw-r--r-- | 1,227 | coq.emacsen-install |
|
- | rw-r--r-- | 453 | coq.emacsen-remove |
|
- | rw-r--r-- | 851 | coq.emacsen-startup |
|
- | rw-r--r-- | 280 | coq.install |
|
- | rw-r--r-- | 131 | coq.menu |
|
- | rw-r--r-- | 1,496 | coq.xpm |
|
- | rw-r--r-- | 63 | coq7-libs.install |
|
- | rw-r--r-- | 1,419 | coq_makefile.1 |
|
- | rw-r--r-- | 2,766 | coqc.1 |
|
- | rw-r--r-- | 2,622 | coqide.1 |
|
- | rw-r--r-- | 213 | coqide.desktop |
|
- | rw-r--r-- | 79 | coqide.dirs |
|
- | rw-r--r-- | 19 | coqide.docs |
|
- | rw-r--r-- | 95 | coqide.install |
|
- | rw-r--r-- | 136 | coqide.menu |
|
- | rw-r--r-- | 1,185 | coqmktop.1 |
|
- | rw-r--r-- | 2,442 | coqtop.1 |
|
- | rw-r--r-- | 15 | docs |
|
- | rwxr-xr-x | 3,216 | rules |
|
- | rw-r--r-- | 89 | watch |