package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 28 | tests |
 |
- | rw-r--r-- | 346 | changelog |
|
- | rw-r--r-- | 1,000 | control |
|
- | rw-r--r-- | 1,262 | copyright |
|
- | rw-r--r-- | 40 | libcoq-deriving.install |
|
- | rwxr-xr-x | 205 | rules |
|
- | rw-r--r-- | 75 | watch |