package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 58 | tests |
|
d | rwxr-xr-x | 29 | upstream |
 |
- | rw-r--r-- | 1,911 | changelog |
|
- | rw-r--r-- | 10 | clean |
|
- | rw-r--r-- | 946 | control |
|
- | rw-r--r-- | 1,380 | copyright |
|
- | rw-r--r-- | 23 | kissat.install |
|
- | rw-r--r-- | 9 | kissat.manpages |
|
- | rwxr-xr-x | 797 | rules |
|
- | rw-r--r-- | 79 | watch |