package info
(click to toggle)
Folder: 0.8.5-2
.. (parent) | ||||
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 48 | doc | |
d | rwxr-xr-x | 42 | pkg | |
d | rwxr-xr-x | 4,096 | src | |
d | rwxr-xr-x | 4,096 | test | |
- | rw-r--r-- | 934 | CHANGES.md | |
- | rw-r--r-- | 741 | LICENSE.md | |
- | rw-r--r-- | 1,345 | README.md | |
- | rw-r--r-- | 134 | _tags | |
- | rw-r--r-- | 1,269 | opam |