package info
(click to toggle)
Folder: 1:0.14.0-1
.. (parent) | ||||
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 115 | src | |
d | rwxr-xr-x | 93 | test | |
- | rw-r--r-- | 33 | .gitignore | |
- | rw-r--r-- | 990 | CHANGES.md | |
- | rw-r--r-- | 2,312 | CONTRIBUTING.md | |
- | rw-r--r-- | 1,117 | LICENSE.md | |
- | rw-r--r-- | 259 | Makefile | |
- | rw-r--r-- | 4,673 | README.md | |
- | rw-r--r-- | 0 | dune | |
- | rw-r--r-- | 16 | dune-project | |
- | rw-r--r-- | 740 | ppx_optcomp.opam |