package info
(click to toggle)
Folder: debian
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 27 | source |
![]() |
d | rwxr-xr-x | 47 | tests |
![]() |
d | rwxr-xr-x | 29 | upstream |
![]() |
- | rw-r--r-- | 1,823 | changelog |
![]() |
- | rw-r--r-- | 1,078 | control |
![]() |
- | rw-r--r-- | 1,672 | copyright |
![]() |
- | rw-r--r-- | 42 | libcoq-stdpp.install.in |
![]() |
- | rwxr-xr-x | 306 | rules |
![]() |
- | rw-r--r-- | 182 | watch |