summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Recompile with coq 8.4pl4debian/0.4-3Gravatar Stephane Glondu2014-07-30
* Update changelog and prepare upload to unstabledebian/0.4-2Gravatar Stephane Glondu2014-01-20
* Update Vcs-*Gravatar Stephane Glondu2014-01-20
* Bump Standards-Version to 3.9.5 (no changes)Gravatar Stephane Glondu2014-01-20
* Prepare upload to unstabledebian/0.4-1Gravatar Stephane Glondu2013-12-05
* New upstream releaseGravatar Stephane Glondu2013-12-05
* Merge tag 'upstream/0.4'Gravatar Stephane Glondu2013-12-05
|\
| * Imported Upstream version 0.4upstream/0.4Gravatar Stephane Glondu2013-12-05
* | Update changelog and prepare upload to unstabledebian/0.3.pl1-1Gravatar Stephane Glondu2013-05-09
* | Bump Standards-Version to 3.9.4Gravatar Stephane Glondu2013-05-09
* | Use format version 1.0 in debian/copyrightGravatar Stephane Glondu2013-05-09
* | New upstream releaseGravatar Stephane Glondu2013-05-09
* | Merge tag 'upstream/0.3.pl1'Gravatar Stephane Glondu2013-05-09
|\|
| * Imported Upstream version 0.3.pl1upstream/0.3.pl1Gravatar Stephane Glondu2013-05-09
* | Update changelog and prepare upload to experimentaldebian/0.3-2Gravatar Stephane Glondu2012-09-22
* | This version requires a bugfix in CoqGravatar Stephane Glondu2012-09-22
* | Fix FTBFS without natdynlinkGravatar Stephane Glondu2012-09-22
* | Prepare upload to experimentaldebian/0.3-1Gravatar Stephane Glondu2012-09-21
* | Update build systemGravatar Stephane Glondu2012-09-21
* | Bump Coq versionGravatar Stephane Glondu2012-09-21
* | New upstream releaseGravatar Stephane Glondu2012-09-20
* | Merge tag 'upstream/0.3'Gravatar Stephane Glondu2012-09-20
|\|
| * Imported Upstream version 0.3upstream/0.3Gravatar Stephane Glondu2012-09-20
* | Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7Gravatar Stephane Glondu2012-06-09
* | Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)debian/0.2.pl2-6Gravatar Stephane Glondu2012-04-01
* | Recompile with camlp5 6.04 (no changes)debian/0.2.pl2-5Gravatar Stephane Glondu2012-03-05
* | Rebuild with Coq 8.3pl3 (no source changes)debian/0.2.pl2-4Gravatar Stephane Glondu2011-12-25
* | Prepare upload to unstabledebian/0.2.pl2-3Gravatar Stephane Glondu2011-11-03
* | Bump Standards-Version to 3.9.2 (no changes)Gravatar Stephane Glondu2011-11-03
* | Upload to unstabledebian/0.2.pl2-2Gravatar Stephane Glondu2011-05-01
* | Prepare upload to experimentaldebian/0.2.pl2-1Gravatar Stephane Glondu2011-02-28
* | Fix Vcs-* URLsGravatar Stephane Glondu2011-02-22
* | Do not remove Makefile on cleanGravatar Stephane Glondu2011-02-21
* | New upstream releaseGravatar Stephane Glondu2011-02-21
* | Merge commit 'upstream/0.2.pl2'Gravatar Stephane Glondu2011-02-21
|\|
| * Imported Upstream version 0.2.pl2upstream/0.2.pl2Gravatar Stephane Glondu2011-02-21
* | Update debian/watchGravatar Stephane Glondu2011-02-21
* | Update packagingGravatar Stephane Glondu2010-12-01
* | New upstream releaseGravatar Stephane Glondu2010-12-01
* | Merge commit 'upstream/0.2.1'Gravatar Stephane Glondu2010-12-01
|\|
| * Imported Upstream version 0.2.1upstream/0.2.1Gravatar Stephane Glondu2010-12-01
| * Imported Upstream version 0.2upstream/0.2Gravatar Stephane Glondu2010-12-01
* | Fill ITP number and prepare upload to experimentaldebian/0.1-r13244-1Gravatar Stephane Glondu2010-11-30
* | Initial packagingGravatar Stephane Glondu2010-11-30
|/
* Imported Upstream version 0.1-r13244upstream/0.1-r13244Gravatar Stephane Glondu2010-11-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 16:14:23 +0000