package info
(click to toggle)
Folder: 1.8.0-2
| .. (parent) | ||||
| d | rwxr-xr-x | 30 | .github | |
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 4,096 | src | |
| d | rwxr-xr-x | 4,096 | test | |
| - | rw-r--r-- | 193 | .gitignore | |
| - | rw-r--r-- | 26 | .merlin | |
| - | rw-r--r-- | 3,557 | CHANGES | |
| - | rw-r--r-- | 26,885 | LICENSE | |
| - | rw-r--r-- | 1,251 | Makefile | |
| - | rw-r--r-- | 3,480 | README.md | |
| - | rw-r--r-- | 914 | check_stdlib.ml | |
| - | rw-r--r-- | 30 | dune-project | |
| - | rw-r--r-- | 1,347 | extlib.opam |
