package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 19 | source | |
| - | rw-r--r-- | 2,547 | changelog | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 1,888 | control | |
| - | rw-r--r-- | 1,116 | copyright | |
| - | rw-r--r-- | 30 | gbp.conf | |
| - | rw-r--r-- | 289 | libaac-tactics-coq.doc-base.theories | |
| - | rw-r--r-- | 11 | libaac-tactics-coq.docs | |
| - | rw-r--r-- | 138 | libaac-tactics-coq.install | |
| - | rw-r--r-- | 99 | libaac-tactics-ocaml-dev.install | |
| - | rw-r--r-- | 110 | libaac-tactics-ocaml-dev.lintian-overrides | |
| - | rw-r--r-- | 136 | libaac-tactics-ocaml-dev.ocamldoc | |
| - | rw-r--r-- | 97 | libaac-tactics-ocaml.install.in | |
| - | rwxr-xr-x | 626 | rules | |
| - | rw-r--r-- | 117 | watch |
