package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | patches |
|
d | rwxr-xr-x | 27 | source |
 |
- | rw-r--r-- | 849 | README.source |
|
- | rw-r--r-- | 12,293 | changelog |
|
- | rw-r--r-- | 471 | clean |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 2,411 | control |
|
- | rw-r--r-- | 3,865 | copyright |
|
- | rw-r--r-- | 112 | gbp.conf |
|
- | rw-r--r-- | 12 | libwhy-coq.dirs |
|
- | rwxr-xr-x | 452 | purify_tarball |
|
- | rwxr-xr-x | 1,670 | rules |
|
- | rw-r--r-- | 109 | watch |
|
- | rw-r--r-- | 557 | why-cpulimit.1 |
|
- | rw-r--r-- | 18 | why-examples.dirs |
|
- | rw-r--r-- | 60 | why-examples.install |
|
- | rw-r--r-- | 14 | why.dirs |
|
- | rw-r--r-- | 28 | why.docs |
|
- | rw-r--r-- | 798 | why.links |
|
- | rw-r--r-- | 21 | why.manpages |