package info
(click to toggle)
Folder: 0.3-1
.. (parent) | ||||
d | rwxr-xr-x | 129 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 62 | extra | |
d | rwxr-xr-x | 4,096 | src | |
d | rwxr-xr-x | 4,096 | tests | |
- | rw-r--r-- | 164 | .gitignore | |
- | rw-r--r-- | 6,092 | .ocplint | |
- | rw-r--r-- | 1,067 | CHANGES.md | |
- | rw-r--r-- | 26,287 | LICENSE | |
- | rw-r--r-- | 6,714 | Makefile.in | |
- | rw-r--r-- | 1,882 | README.md | |
- | rw-r--r-- | 4,548 | configure.in | |
- | rw-r--r-- | 693 | opam |