| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Rebuild with Coq 8.3pl3 (no source changes)debian/0.2.pl2-4 |  Stephane Glondu | 2011-12-25 | |
| * | Prepare upload to unstabledebian/0.2.pl2-3 | Stephane Glondu | 2011-11-03 | |
| * | Bump Standards-Version to 3.9.2 (no changes) | Stephane Glondu | 2011-11-03 | |
| * | Upload to unstabledebian/0.2.pl2-2 | Stephane Glondu | 2011-05-01 | |
| * | Prepare upload to experimentaldebian/0.2.pl2-1 | Stephane Glondu | 2011-02-28 | |
| * | Fix Vcs-* URLs | Stephane Glondu | 2011-02-22 | |
| * | Do not remove Makefile on clean | Stephane Glondu | 2011-02-21 | |
| * | New upstream release | Stephane Glondu | 2011-02-21 | |
| * | Update debian/watch | Stephane Glondu | 2011-02-21 | |
| * | Update packaging | Stephane Glondu | 2010-12-01 | |
| * | New upstream release | Stephane Glondu | 2010-12-01 | |
| * | Fill ITP number and prepare upload to experimentaldebian/0.1-r13244-1 | Stephane Glondu | 2010-11-30 | |
| * | Initial packaging | Stephane Glondu | 2010-11-30 | |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |