Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump Standards-Version to 3.9.4 | Stephane Glondu | 2013-05-09 |
| | |||
* | Use format version 1.0 in debian/copyright | Stephane Glondu | 2013-05-09 |
| | |||
* | New upstream release | Stephane Glondu | 2013-05-09 |
| | |||
* | Merge tag 'upstream/0.3.pl1' | Stephane Glondu | 2013-05-09 |
|\ | | | | | | | Upstream version 0.3.pl1 | ||
| * | Imported Upstream version 0.3.pl1upstream/0.3.pl1 | Stephane Glondu | 2013-05-09 |
| | | |||
* | | Update changelog and prepare upload to experimentaldebian/0.3-2 | Stephane Glondu | 2012-09-22 |
| | | |||
* | | This version requires a bugfix in Coq | Stephane Glondu | 2012-09-22 |
| | | |||
* | | Fix FTBFS without natdynlink | Stephane Glondu | 2012-09-22 |
| | | |||
* | | Prepare upload to experimentaldebian/0.3-1 | Stephane Glondu | 2012-09-21 |
| | | |||
* | | Update build system | Stephane Glondu | 2012-09-21 |
| | | |||
* | | Bump Coq version | Stephane Glondu | 2012-09-21 |
| | | |||
* | | New upstream release | Stephane Glondu | 2012-09-20 |
| | | |||
* | | Merge tag 'upstream/0.3' | Stephane Glondu | 2012-09-20 |
|\| | | | | | | | Upstream version 0.3 | ||
| * | Imported Upstream version 0.3upstream/0.3 | Stephane Glondu | 2012-09-20 |
| | | |||
* | | Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7 | Stephane Glondu | 2012-06-09 |
| | | |||
* | | Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)debian/0.2.pl2-6 | Stephane Glondu | 2012-04-01 |
| | | |||
* | | 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 |
| | | |||
* | | 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 |
| | | |||
* | | Merge commit 'upstream/0.2.pl2' | Stephane Glondu | 2011-02-21 |
|\| | |||
| * | Imported Upstream version 0.2.pl2upstream/0.2.pl2 | 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 |
| | | |||
* | | Merge commit 'upstream/0.2.1' | Stephane Glondu | 2010-12-01 |
|\| | |||
| * | Imported Upstream version 0.2.1upstream/0.2.1 | Stephane Glondu | 2010-12-01 |
| | | |||
| * | Imported Upstream version 0.2upstream/0.2 | 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 |
|/ | |||
* | Imported Upstream version 0.1-r13244upstream/0.1-r13244 | Stephane Glondu | 2010-11-29 |