| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update Standards-Version |  Benjamin Barenblat | 2019-02-17 |
| * | Update Vcs-* URLs for Salsa migration | Benjamin Barenblat | 2019-02-17 |
| * | Update build dependencies | Benjamin Barenblat | 2019-02-17 |
| * | Update to debhelper 10 | Benjamin Barenblat | 2019-02-13 |
| * | Bump Standards-Version to 3.9.8 |  Nicolas Braud-Santoni | 2016-07-23 |
| * | New upstream URL & watch file | Nicolas Braud-Santoni | 2016-07-23 |
| * | Use HTTPS for Vcs-* links | Nicolas Braud-Santoni | 2016-07-23 |
| * | Bump debhelper compat level to 9 |  Stephane Glondu | 2015-08-10 |
| * | Bump Standards-Version to 3.9.6 | Stephane Glondu | 2015-08-10 |
| * | New Homepage, drop debian/watch | Stephane Glondu | 2015-08-10 |
| * | Update Vcs-* | Stephane Glondu | 2014-01-20 |
| * | Bump Standards-Version to 3.9.5 (no changes) | Stephane Glondu | 2014-01-20 |
| * | Bump Standards-Version to 3.9.4 | Stephane Glondu | 2013-05-09 |
| * | This version requires a bugfix in Coq | Stephane Glondu | 2012-09-22 |
| * | 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 |