| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Bump Coq version |  Stephane Glondu | 2012-09-21 |
| | | |||
| * | Bump Standards-Version to 3.9.2 (no changes) | Stephane Glondu | 2011-11-03 |
| | | |||
| * | Fix Vcs-* URLs | Stephane Glondu | 2011-02-22 |
| | | |||
| * | Initial packaging | Stephane Glondu | 2010-11-30 |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |