package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 53 | patches | |
| d | rwxr-xr-x | 27 | source | |
| d | rwxr-xr-x | 47 | tests | |
| - | rw-r--r-- | 1,320 | changelog | |
| - | rw-r--r-- | 867 | control | |
| - | rw-r--r-- | 526 | copyright | |
| - | rw-r--r-- | 11 | libcoq-coquelicot.examples | |
| - | rw-r--r-- | 54 | libcoq-coquelicot.install | |
| - | rwxr-xr-x | 235 | rules | |
| - | rw-r--r-- | 105 | watch |
