package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 112 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 29 | upstream |
 |
- | rw-r--r-- | 4,269 | changelog |
|
- | rw-r--r-- | 1,013 | control |
|
- | rw-r--r-- | 2,263 | copyright |
|
- | rw-r--r-- | 36 | dirs |
|
- | rwxr-xr-x | 335 | install |
|
- | rwxr-xr-x | 483 | links |
|
- | rw-r--r-- | 34 | manpages |
|
- | rw-r--r-- | 1,510 | picomus.1 |
|
- | rw-r--r-- | 2,399 | picosat.1 |
|
- | rwxr-xr-x | 933 | rules |
|
- | rw-r--r-- | 170 | salsa-ci.yml |
|
- | rw-r--r-- | 4,584 | symbols |
|
- | rw-r--r-- | 58 | watch |