package info
(click to toggle)
Folder: 2.16.0-1
| .. (parent) | ||||
| d | rwxr-xr-x | 51 | .github | |
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 51 | examples | |
| d | rwxr-xr-x | 83 | man | |
| d | rwxr-xr-x | 38 | src | |
| d | rwxr-xr-x | 70 | test | |
| - | rw-r--r-- | 56 | .gitignore | |
| - | rw-r--r-- | 11 | .ocp-indent | |
| - | rw-r--r-- | 13,863 | CHANGES.md | |
| - | rw-r--r-- | 452 | CODE_OF_CONDUCT.md | |
| - | rw-r--r-- | 1,124 | CONTRIBUTING.md | |
| - | rw-r--r-- | 1,518 | LICENSE | |
| - | rw-r--r-- | 1,362 | Makefile | |
| - | rw-r--r-- | 11,655 | README.md | |
| - | rw-r--r-- | 249 | dune | |
| - | rw-r--r-- | 877 | dune-project | |
| - | rw-r--r-- | 261 | dune-workspace.dev | |
| - | rw-r--r-- | 375,085 | screenshot.png | |
| - | rw-r--r-- | 1,206 | utop.opam | |
| - | rw-r--r-- | 689 | utoprc-dark | |
| - | rw-r--r-- | 690 | utoprc-light |
