Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Recompile with camlp5 6.04 (no changes)debian/0.2.pl2-5 | Stephane Glondu | 2012-03-05 |
* | 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 |
* | 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 |
* | New upstream release | Stephane Glondu | 2011-02-21 |
* | 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 |