Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump Standards-Version to 3.9.8 | 2016-07-23 | |
| | | | | No change required | ||
* | New upstream URL & watch file | 2016-07-23 | |
| | |||
* | Use HTTPS for Vcs-* links | 2016-07-23 | |
| | |||
* | Bump debhelper compat level to 9 | 2015-08-10 | |
| | |||
* | Bump Standards-Version to 3.9.6 | 2015-08-10 | |
| | |||
* | New Homepage, drop debian/watch | 2015-08-10 | |
| | |||
* | Update Vcs-* | 2014-01-20 | |
| | |||
* | Bump Standards-Version to 3.9.5 (no changes) | 2014-01-20 | |
| | |||
* | Bump Standards-Version to 3.9.4 | 2013-05-09 | |
| | |||
* | This version requires a bugfix in Coq | 2012-09-22 | |
| | |||
* | 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 | |