package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 27 | source | |
- | rw-r--r-- | 873 | changelog | |
- | rw-r--r-- | 2 | compat | |
- | rw-r--r-- | 1,597 | control | |
- | rw-r--r-- | 1,385 | copyright | |
- | rw-r--r-- | 30 | gbp.conf | |
- | rw-r--r-- | 10 | libppx-tools-ocaml-dev.docs | |
- | rwxr-xr-x | 357 | rules | |
- | rw-r--r-- | 95 | watch |