package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | patches | |
d | rwxr-xr-x | 27 | source | |
- | rw-r--r-- | 7,561 | changelog | |
- | rw-r--r-- | 180 | clean | |
- | rw-r--r-- | 3 | compat | |
- | rw-r--r-- | 4,554 | control | |
- | rw-r--r-- | 3,791 | copyright | |
- | rw-r--r-- | 243 | gbp.conf | |
- | rw-r--r-- | 31 | not-installed | |
- | rw-r--r-- | 158 | opam-doc.install | |
- | rw-r--r-- | 205 | opam-installer.install | |
- | rw-r--r-- | 13 | opam.install | |
- | rw-r--r-- | 154 | opam.postinst | |
- | rw-r--r-- | 154 | opam.postrm | |
- | rw-r--r-- | 154 | opam.preinst | |
- | rwxr-xr-x | 1,024 | rules | |
- | rw-r--r-- | 211 | watch |