package info
(click to toggle)
Folder: 1:0.17.0-1
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 104 | .pc |
![]() |
d | rwxr-xr-x | 4,096 | debian |
![]() |
d | rwxr-xr-x | 115 | src |
![]() |
d | rwxr-xr-x | 93 | test |
![]() |
- | rw-r--r-- | 33 | .gitignore |
![]() |
- | rw-r--r-- | 19 | .ocamlformat |
![]() |
- | rw-r--r-- | 990 | CHANGES.md |
![]() |
- | rw-r--r-- | 2,312 | CONTRIBUTING.md |
![]() |
- | rw-r--r-- | 1,126 | LICENSE.md |
![]() |
- | rw-r--r-- | 259 | Makefile |
![]() |
- | rw-r--r-- | 4,673 | README.md |
![]() |
- | rw-r--r-- | 0 | dune |
![]() |
- | rw-r--r-- | 17 | dune-project |
![]() |
- | rw-r--r-- | 755 | ppx_optcomp.opam |