package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 27 | source | |
d | rwxr-xr-x | 28 | tests | |
d | rwxr-xr-x | 29 | upstream | |
- | rw-r--r-- | 1,349 | changelog | |
- | rw-r--r-- | 1,306 | control | |
- | rw-r--r-- | 22,387 | copyright | |
- | rw-r--r-- | 44 | libcoq-mathcomp-multinomials.docs | |
- | rw-r--r-- | 91 | libcoq-mathcomp-multinomials.install | |
- | rwxr-xr-x | 345 | rules | |
- | rw-r--r-- | 79 | watch |