package info
(click to toggle)
Folder: 8.1.pl3+dfsg-1
 |
.. (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 | debian |
|
d | rwxr-xr-x | 4,096 | dev |
|
d | rwxr-xr-x | 121 | doc |
|
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 | 4,096 | tactics |
|
d | rwxr-xr-x | 4,096 | test-suite |
|
d | rwxr-xr-x | 4,096 | theories |
|
d | rwxr-xr-x | 4,096 | tools |
|
d | rwxr-xr-x | 4,096 | toplevel |
 |
- | rw-r--r-- | 262,715 | .depend |
|
- | rw-r--r-- | 1,925 | .depend.camlp4 |
|
- | rw-r--r-- | 64,520 | .depend.coq |
|
- | rw-r--r-- | 54,260 | CHANGES |
|
- | rw-r--r-- | 2,503 | COMPATIBILITY |
|
- | rw-r--r-- | 1,383 | COPYRIGHT |
|
- | rw-r--r-- | 5,611 | CREDITS |
|
- | rwxr-xr-x | 159 | Coq.bat |
|
- | rwxr-xr-x | 156 | Coqide.bat |
|
- | rw-r--r-- | 10,353 | INSTALL |
|
- | rw-r--r-- | 3,855 | INSTALL.ide |
|
- | rw-r--r-- | 633 | INSTALL.macosx |
|
- | rw-r--r-- | 681 | KNOWN-BUGS |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 61,705 | Makefile |
|
- | rw-r--r-- | 736 | Makefile.dep |
|
- | rw-r--r-- | 1,839 | README |
|
- | rw-r--r-- | 1,839 | README.win |
|
- | rwxr-xr-x | 24,273 | configure |