Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | changelog | 4016 | logplain |
-rw-r--r-- | compat | 3 | logplain |
-rw-r--r-- | control | 1832 | logplain |
-rw-r--r-- | copyright | 1042 | logplain |
-rw-r--r-- | gbp.conf | 82 | logplain |
-rw-r--r-- | libaac-tactics-coq.doc-base.theories | 289 | logplain |
-rw-r--r-- | libaac-tactics-coq.docs | 10 | logplain |
-rw-r--r-- | libaac-tactics-coq.install | 206 | logplain |
-rw-r--r-- | libaac-tactics-ocaml-dev.install | 100 | logplain |
-rw-r--r-- | libaac-tactics-ocaml-dev.lintian-overrides | 117 | logplain |
-rw-r--r-- | libaac-tactics-ocaml-dev.ocamldoc | 186 | logplain |
-rw-r--r-- | libaac-tactics-ocaml.install.in | 97 | logplain |
-rw-r--r-- | not-installed | 157 | logplain |
-rwxr-xr-x | rules | 835 | logplain |
d--------- | source | 75 | logplain |
-rw-r--r-- | watch | 163 | logplain |