package info
(click to toggle)
Folder: 0.0.20230213-1
| .. (parent) | ||||
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 84 | lib | |
| d | rwxr-xr-x | 68 | test | |
| - | rw-r--r-- | 9 | .gitignore | |
| - | rw-r--r-- | 1,066 | COPYING | |
| - | rw-r--r-- | 266 | Changes | |
| - | rw-r--r-- | 868 | README.md | |
| - | rw-r--r-- | 563 | dune-project | |
| - | rw-r--r-- | 805 | getopt.opam |
