package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 140 | patches | |
d | rwxr-xr-x | 27 | source | |
- | rw-r--r-- | 151 | META.gmp | |
- | rw-r--r-- | 224 | README.Debian | |
- | rw-r--r-- | 641 | README.source | |
- | rw-r--r-- | 5,003 | changelog | |
- | rw-r--r-- | 7 | clean | |
- | rw-r--r-- | 2 | compat | |
- | rw-r--r-- | 1,894 | control | |
- | rw-r--r-- | 1,849 | copyright | |
- | rw-r--r-- | 7 | docs | |
- | rw-r--r-- | 30 | gbp.conf | |
- | rw-r--r-- | 39 | libgmp-ocaml-dev.install.in | |
- | rw-r--r-- | 61 | libgmp-ocaml-dev.ocamldoc | |
- | rw-r--r-- | 15 | libgmp-ocaml.files.in | |
- | rwxr-xr-x | 830 | rules | |
- | rw-r--r-- | 80 | watch |