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: 8.0pl2-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 10 | bin |
|
d | rwxr-xr-x | 87 | config |
|
d | rwxr-xr-x | 4,096 | contrib |
|
d | rwxr-xr-x | 4,096 | contrib7 |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | dev |
|
d | rwxr-xr-x | 4,096 | ide |
|
d | rwxr-xr-x | 4,096 | interp |
|
d | rwxr-xr-x | 4,096 | kernel |
|
d | rwxr-xr-x | 4,096 | lib |
|
d | rwxr-xr-x | 4,096 | library |
|
d | rwxr-xr-x | 4,096 | man |
|
d | rwxr-xr-x | 4,096 | parsing |
|
d | rwxr-xr-x | 4,096 | pretyping |
|
d | rwxr-xr-x | 4,096 | proofs |
|
d | rwxr-xr-x | 50 | scripts |
|
d | rwxr-xr-x | 61 | states |
|
d | rwxr-xr-x | 34 | states7 |
|
d | rwxr-xr-x | 72 | syntax |
|
d | rwxr-xr-x | 4,096 | tactics |
|
d | rwxr-xr-x | 4,096 | test-suite |
|
d | rwxr-xr-x | 4,096 | theories |
|
d | rwxr-xr-x | 4,096 | theories7 |
|
d | rwxr-xr-x | 4,096 | tools |
|
d | rwxr-xr-x | 4,096 | toplevel |
|
d | rwxr-xr-x | 4,096 | translate |
 |
- | rw-r--r-- | 214,632 | .depend |
|
- | rw-r--r-- | 1,595 | .depend.camlp4 |
|
- | rw-r--r-- | 46,275 | .depend.coq |
|
- | rw-r--r-- | 38,737 | .depend.coq7 |
|
- | rw-r--r-- | 42,212 | CHANGES |
|
- | rw-r--r-- | 1,383 | COPYRIGHT |
|
- | rw-r--r-- | 4,570 | CREDITS |
|
- | rw-r--r-- | 9,222 | INSTALL |
|
- | rw-r--r-- | 3,034 | INSTALL.ide |
|
- | rw-r--r-- | 633 | INSTALL.macosx |
|
- | rw-r--r-- | 2,071 | INSTALL.win |
|
- | rw-r--r-- | 26,430 | LICENSE |
|
- | rw-r--r-- | 53,429 | Makefile |
|
- | rw-r--r-- | 721 | Makefile.dep |
|
- | rw-r--r-- | 1,876 | README |
|
- | rw-r--r-- | 1,281 | README.win |
|
- | rwxr-xr-x | 14,253 | configure |