package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | patches | |
d | rwxr-xr-x | 55 | source | |
- | rw-r--r-- | 7,329 | changelog | |
- | rw-r--r-- | 27 | clean | |
- | rw-r--r-- | 3 | compat | |
- | rw-r--r-- | 2,500 | control | |
- | rw-r--r-- | 4,433 | copyright | |
- | rw-r--r-- | 30 | gbp.conf | |
- | rw-r--r-- | 48 | libflint-2.5.2.install | |
- | rw-r--r-- | 60 | libflint-dev.install | |
- | rw-r--r-- | 234 | libflint-doc.doc-base | |
- | rw-r--r-- | 27 | libflint-doc.docs | |
- | rwxr-xr-x | 1,653 | rules | |
- | rw-r--r-- | 72 | watch |