| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 135 | logplain |
| -rw-r--r-- | LICENSE | 8213 | logplain |
| -rw-r--r-- | Makefile | 313 | logplain |
| -rw-r--r-- | README.md | 4126 | logplain |
| -rw-r--r-- | _CoqProject | 420 | logplain |
| d--------- | debian | 738 | logplain |
| -rw-r--r-- | default.nix | 713 | logplain |
| -rw-r--r-- | meta.yml | 3154 | logplain |
| -rw-r--r-- | opam | 838 | logplain |
| d--------- | src | 621 | logplain |
| d--------- | theories | 182 | logplain |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |