package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 27 | source | |
| d | rwxr-xr-x | 28 | tests | |
| - | rw-r--r-- | 2,320 | changelog | |
| - | rw-r--r-- | 941 | control | |
| - | rw-r--r-- | 503 | copyright | |
| - | rw-r--r-- | 31 | libcoq-bignums-ocaml-dev.install.in | |
| - | rw-r--r-- | 254 | libcoq-bignums-ocaml-dev.lintian-overrides | |
| - | rw-r--r-- | 73 | libcoq-bignums-ocaml.install | |
| - | rw-r--r-- | 400 | libcoq-bignums.lintian-overrides | |
| - | rwxr-xr-x | 206 | rules | |
| - | rw-r--r-- | 90 | watch |
