package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 84 | patches | |
d | rwxr-xr-x | 27 | source | |
- | rw-r--r-- | 760 | changelog | |
- | rw-r--r-- | 3 | compat | |
- | rw-r--r-- | 1,952 | control | |
- | rw-r--r-- | 2,843 | copyright | |
- | rw-r--r-- | 30 | gbp.conf | |
- | rw-r--r-- | 38 | libflint-arb-dev.install | |
- | rw-r--r-- | 11 | libflint-arb-doc.docs | |
- | rw-r--r-- | 27 | libflint-arb1.install | |
- | rw-r--r-- | 120 | libflint-arb1.lintian-overrides | |
- | rwxr-xr-x | 569 | rules | |
- | rw-r--r-- | 108 | watch |