package info
(click to toggle)
Folder: 0.34+ds-1
.. (parent) | ||||
d | rwxr-xr-x | 30 | .github | |
d | rwxr-xr-x | 126 | .pc | |
d | rwxr-xr-x | 4,096 | coq | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 4,096 | doc | |
d | rwxr-xr-x | 32 | emacs | |
d | rwxr-xr-x | 97 | examples | |
d | rwxr-xr-x | 142 | hol | |
d | rwxr-xr-x | 45 | menhir | |
d | rwxr-xr-x | 4,096 | regression | |
d | rwxr-xr-x | 4,096 | src | |
d | rwxr-xr-x | 4,096 | tests | |
d | rwxr-xr-x | 4,096 | tex | |
d | rwxr-xr-x | 24 | tools | |
- | rw-r--r-- | 258 | .gitignore | |
- | rw-r--r-- | 7 | .holpath | |
- | rw-r--r-- | 1,672 | LICENCE | |
- | rw-r--r-- | 10,338 | Makefile | |
- | rw-r--r-- | 17,861 | README.md | |
- | rw-r--r-- | 939 | coq-ott.opam | |
- | rw-r--r-- | 168 | ott.install.nodoc | |
- | rw-r--r-- | 1,802 | ott.opam | |
- | rw-r--r-- | 2,504 | release.txt | |
- | rw-r--r-- | 19,569 | revision_history.txt |