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