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 |