summaryrefslogtreecommitdiff
path: root/debian/changelog
Commit message (Expand)AuthorAge
* 8.5Gravatar Enrico Tassi2016-01-26
* fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2Gravatar Enrico Tassi2015-11-14
* beta3Gravatar Enrico Tassi2015-11-13
* enable make test-suite at build timedebian/8.5_beta2+dfsg-2Gravatar Enrico Tassi2015-07-20
* disable native compiler on non-mainstream archesGravatar Enrico Tassi2015-07-20
* fix build depsdebian/8.5_beta2+dfsg-1Gravatar Enrico Tassi2015-07-16
* more overridesGravatar Enrico Tassi2015-07-15
* beta2Gravatar Enrico Tassi2015-07-15
* update changelogGravatar Enrico Tassi2015-07-15
* make bin-nmuableGravatar Enrico Tassi2015-07-15
* Packaging 8.5beta1Gravatar Enrico Tassi2015-07-14
* Prepare upload to unstabledebian/8.4pl4dfsg-1Gravatar Stephane Glondu2014-07-27
* Update changelogGravatar Stephane Glondu2014-07-27
* New upstream releaseGravatar Stephane Glondu2014-07-27
* Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1Gravatar Stephane Glondu2014-01-19
* New upstream releaseGravatar Stephane Glondu2014-01-19
* Prepare upload to unstabledebian/8.4pl2dfsg-4Gravatar Stephane Glondu2013-12-03
* Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-3Gravatar Stephane Glondu2013-11-22
* Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2Gravatar Stephane Glondu2013-07-26
* Prepare upload to unstabledebian/8.4pl2dfsg-1Gravatar Stephane Glondu2013-05-08
* Merge branch 'experimental/master'Gravatar Stephane Glondu2013-05-08
|\
| * New upstream releaseGravatar Stephane Glondu2013-05-08
| * Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1Gravatar Stephane Glondu2012-12-29
| * New upstream releaseGravatar Stephane Glondu2012-12-29
| * Update changelog and prepare upload to experimentaldebian/8.4dfsg-2Gravatar Stephane Glondu2012-09-22
| * Prepare upload to experimentaldebian/8.4dfsg-1Gravatar Stephane Glondu2012-08-20
| * New upstream releaseGravatar Stephane Glondu2012-08-20
* | Recompile with camlp5 6.06 (no changes)Gravatar Stephane Glondu2012-06-06
| * Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1Gravatar Stephane Glondu2012-06-05
| * New upstream beta releaseGravatar Stephane Glondu2012-06-04
| * Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4Gravatar Stephane Glondu2012-04-06
* | Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1Gravatar Stephane Glondu2012-03-27
* | New upstream releaseGravatar Stephane Glondu2012-03-27
* | Recompile with camlp5 6.04 (no changes)debian/8.3.pl3+dfsg-2Gravatar Stephane Glondu2012-03-04
| * Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-3Gravatar Stephane Glondu2012-01-15
| * Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2Gravatar Stephane Glondu2012-01-14
| * Prepare upload to experimentaldebian/8.4_beta+dfsg-1Gravatar Stephane Glondu2012-01-12
| * New upstream beta releaseGravatar Stephane Glondu2012-01-12
|/
* Update changelog and prepare upload to unstabledebian/8.3.pl3+dfsg-1Gravatar Stephane Glondu2011-12-25
* New upstream releaseGravatar Stephane Glondu2011-12-25
* Prepare upload to unstabledebian/8.3.pl2+dfsg-2Gravatar Stephane Glondu2011-11-02
* Update changelog and prepare upload to unstabledebian/8.3.pl2+dfsg-1Gravatar Stephane Glondu2011-04-19
* New upstream releaseGravatar Stephane Glondu2011-04-19
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2Gravatar Stephane Glondu2011-02-26
* Merge sid branchGravatar Stephane Glondu2011-02-26
|\
| * Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-2Gravatar Stephane Glondu2011-02-21
* | Prepare upload to experimentaldebian/8.3.pl1+dfsg-1Gravatar Stephane Glondu2010-12-24
* | New upstream release, update changelogGravatar Stephane Glondu2010-12-24
* | NOT RELEASED YETGravatar Stephane Glondu2010-10-19
* | Update changelog and prepare upload to experimentaldebian/8.3+dfsg-1Gravatar Stephane Glondu2010-10-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 20:42:08 +0000