package info
(click to toggle)
Folder: 2.7.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 23 | .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 |
 |
- | rw-r--r-- | 39 | .gitignore |
|
- | rw-r--r-- | 11 | .ocp-indent |
|
- | rw-r--r-- | 451 | .travis.yml |
|
- | rw-r--r-- | 10,543 | CHANGES.md |
|
- | rw-r--r-- | 1,518 | LICENSE |
|
- | rw-r--r-- | 692 | Makefile |
|
- | rw-r--r-- | 10,674 | README.md |
|
- | rw-r--r-- | 249 | dune |
|
- | rw-r--r-- | 28 | dune-project |
|
- | rw-r--r-- | 274 | dune-workspace.dev |
|
- | rw-r--r-- | 375,085 | screenshot.png |
|
- | rw-r--r-- | 1,012 | utop.opam |
|
- | rw-r--r-- | 656 | utoprc-dark |
|
- | rw-r--r-- | 657 | utoprc-light |
