package info
(click to toggle)
Folder: 0.7.0+deb8u1
.. (parent) | ||||
d | rwxr-xr-x | 28 | bin | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 70 | doc | |
d | rwxr-xr-x | 65 | examples | |
d | rwxr-xr-x | 109 | frontends | |
d | rwxr-xr-x | 4,096 | lib | |
d | rwxr-xr-x | 93 | media | |
d | rwxr-xr-x | 52 | templates | |
- | rw-r--r-- | 836 | .header | |
- | rw-r--r-- | 29 | .typerex | |
- | rw-r--r-- | 34,681 | COPYING | |
- | rw-r--r-- | 173 | META | |
- | rw-r--r-- | 3,558 | Makefile | |
- | rw-r--r-- | 143 | _tags | |
- | rw-r--r-- | 7,223 | myocamlbuild.ml |