summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
...
* 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
* 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
* Update debian/watchGravatar Stephane Glondu2011-02-21
* Update packagingGravatar Stephane Glondu2010-12-01
* New upstream releaseGravatar 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 04:53:53 +0000