summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Bump debhelper compat level to 9Gravatar Stephane Glondu2015-08-10
* Bump Standards-Version to 3.9.6Gravatar Stephane Glondu2015-08-10
* New Homepage, drop debian/watchGravatar Stephane Glondu2015-08-10
* 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
* 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
* 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
* 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-11 16:22:03 +0000