| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | changelog | 167 | logplain |
| -rw-r--r-- | compat | 2 | logplain |
| -rw-r--r-- | control | 1876 | logplain |
| -rw-r--r-- | copyright | 1050 | logplain |
| -rw-r--r-- | gbp.conf | 30 | logplain |
| -rw-r--r-- | libaac-tactics-coq.doc-base.api | 294 | logplain |
| -rw-r--r-- | libaac-tactics-coq.doc-base.theories | 289 | logplain |
| -rw-r--r-- | libaac-tactics-coq.docs | 11 | logplain |
| -rw-r--r-- | libaac-tactics-coq.install.in | 197 | logplain |
| -rw-r--r-- | libaac-tactics-ocaml-dev.install.in | 320 | logplain |
| -rw-r--r-- | libaac-tactics-ocaml.install.in | 128 | logplain |
| d--------- | patches | 96 | logplain |
| -rwxr-xr-x | rules | 543 | logplain |
| d--------- | source | 75 | logplain |
| -rw-r--r-- | watch | 82 | logplain |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |