package info
(click to toggle)
Folder: 5.0.2-1
| .. (parent) | ||||
| d | rwxr-xr-x | 30 | .github | |
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 133 | examples | |
| d | rwxr-xr-x | 4,096 | src | |
| - | rw-r--r-- | 357 | .editorconfig | |
| - | rw-r--r-- | 32 | .gitignore | |
| - | rw-r--r-- | 106 | .ocamlformat | |
| - | rw-r--r-- | 508 | CHANGES.md | |
| - | rw-r--r-- | 27,414 | LICENSE.md | |
| - | rw-r--r-- | 92 | Makefile | |
| - | rw-r--r-- | 6,686 | README.md | |
| - | rw-r--r-- | 104 | TODO.md | |
| - | rw-r--r-- | 164 | dune | |
| - | rw-r--r-- | 586 | dune-project | |
| - | rw-r--r-- | 5,861 | pre-v5.0.0-CHANGES.txt | |
| - | rw-r--r-- | 844 | res.opam |
