package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 19 | source | |
- | rw-r--r-- | 4,842 | changelog | |
- | rw-r--r-- | 2 | compat | |
- | rw-r--r-- | 902 | control | |
- | rw-r--r-- | 1,606 | copyright | |
- | rw-r--r-- | 30 | gbp.conf | |
- | rw-r--r-- | 119 | libfloat-coq.install | |
- | rwxr-xr-x | 1,123 | rules | |
- | rw-r--r-- | 108 | watch |