package info
(click to toggle)
coq 6.3.1-2
- links: PTS
- area: main
- in suites: potato
- size: 6,852 kB
- ctags: 9,439
- sloc: ml: 67,786; makefile: 1,403; lisp: 535; sh: 458; perl: 135
Folder: 6.3.1-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 29 | bin |
|
d | rwxr-xr-x | 106 | debian |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 21 | states |
|
d | rwxr-xr-x | 4,096 | tactics |
|
d | rwxr-xr-x | 4,096 | theories |
|
d | rwxr-xr-x | 4,096 | tools |
 |
- | rwxr-xr-x | 25,665 | CHANGES |
|
- | rw-r--r-- | 12,605 | INSTALL |
|
- | rw-r--r-- | 2,514 | INSTALL.win |
|
- | rw-r--r-- | 26,462 | LICENSE |
|
- | rwxr-xr-x | 4,492 | Makefile |
|
- | rwxr-xr-x | 1,917 | README |
|
- | rw-r--r-- | 1,707 | README.win |
|
- | rwxr-xr-x | 12,753 | configure |