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,582 | changelog |
![]() |
- | rw-r--r-- | 1,058 | control |
![]() |
- | rw-r--r-- | 22,412 | copyright |
![]() |
- | rw-r--r-- | 131 | libcoq-mathcomp-finmap.docs |
![]() |
- | rw-r--r-- | 85 | libcoq-mathcomp-finmap.install |
![]() |
- | rwxr-xr-x | 198 | rules |
![]() |
- | rw-r--r-- | 73 | watch |