package info
(click to toggle)
Folder: 4.1.0-3
| .. (parent) | ||||
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 4,096 | examples | |
| d | rwxr-xr-x | 110 | src | |
| - | rw-r--r-- | 88 | AUTHORS | |
| - | rw-r--r-- | 7,651 | COPYING | |
| - | rw-r--r-- | 1,145 | INSTALL.md | |
| - | rw-r--r-- | 13,226 | NEWS.md | |
| - | rw-r--r-- | 716 | README.md | |
| - | rw-r--r-- | 4,473 | Remakefile.in | |
| - | rw-r--r-- | 13 | _CoqProject | |
| - | rw-r--r-- | 2,514 | configure.in | |
| - | rw-r--r-- | 83,214 | remake.cpp |