package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 146 | patches | |
| d | rwxr-xr-x | 27 | source | |
| - | rw-r--r-- | 275 | .git-dpm | |
| - | rw-r--r-- | 1,995 | changelog | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 2,471 | control | |
| - | rw-r--r-- | 4,236 | copyright | |
| - | rw-r--r-- | 30 | gbp.conf | |
| - | rw-r--r-- | 60 | libflint-2.4.4.install | |
| - | rw-r--r-- | 40 | libflint-dev.install | |
| - | rw-r--r-- | 234 | libflint-doc.doc-base | |
| - | rw-r--r-- | 27 | libflint-doc.docs | |
| - | rwxr-xr-x | 1,095 | rules | |
| - | rw-r--r-- | 72 | watch |
