package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 54 | icons | |
d | rwxr-xr-x | 4,096 | patches | |
d | rwxr-xr-x | 27 | source | |
- | rw-r--r-- | 660 | README.Debian | |
- | rw-r--r-- | 586 | README.source | |
- | rw-r--r-- | 2,095 | TODO | |
- | rw-r--r-- | 17,858 | changelog | |
- | rw-r--r-- | 246 | clean | |
- | rw-r--r-- | 2 | compat | |
- | rw-r--r-- | 1,753 | control | |
- | rw-r--r-- | 39,945 | copyright | |
- | rw-r--r-- | 112 | dirs | |
- | rw-r--r-- | 33 | frama-c-base.dirs | |
- | rw-r--r-- | 211 | frama-c-base.install.in | |
- | rw-r--r-- | 74 | frama-c-base.links.in | |
- | rw-r--r-- | 14 | frama-c-base.manpages | |
- | rw-r--r-- | 99 | gbp.conf | |
- | rwxr-xr-x | 508 | purify_tarball | |
- | rwxr-xr-x | 1,523 | rules | |
- | rw-r--r-- | 115 | watch |