summaryrefslogtreecommitdiff
path: root/debian/changelog
Commit message (Expand)AuthorAge
* Release for unstableHEADmasterGravatar Benjamin Barenblat2019-02-17
* Begin packaging v8.9 snapshotGravatar Benjamin Barenblat2019-02-13
* Recompile with OCaml 4.05.0debian/8.6.1-2Gravatar Stephane Glondu2017-10-09
* 8.6.1Gravatar Enrico Tassi2016-12-28
* aac for Coq 8.6Gravatar Enrico Tassi2016-12-28
* Upload to unstabledebian/8.5.1-1Gravatar Stephane Glondu2016-08-01
* Update changelogGravatar Nicolas Braud-Santoni2016-07-31
* debian/changelog: Close bug #813459Gravatar Nicolas Braud-Santoni2016-07-23
* Prepare uploadGravatar Nicolas Braud-Santoni2016-07-23
* Recompile with OCaml 4.02.3debian/0.4-5Gravatar Stephane Glondu2015-10-14
* Update changelog and prepare upload to unstabledebian/0.4-4Gravatar 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
* 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
* New upstream releaseGravatar Stephane Glondu2013-05-09
* Update changelog and prepare upload to experimentaldebian/0.3-2Gravatar Stephane Glondu2012-09-22
* Prepare upload to experimentaldebian/0.3-1Gravatar 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
* Upload to unstabledebian/0.2.pl2-2Gravatar Stephane Glondu2011-05-01
* Prepare upload to experimentaldebian/0.2.pl2-1Gravatar Stephane Glondu2011-02-28
* New upstream releaseGravatar Stephane Glondu2011-02-21
* 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-04-29 02:20:24 +0000