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