[Agda-dev] Changes in the repository after fixing #1730
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sun Dec 6 06:11:47 CET 2015
Hi,
After fixing #1730 the changes in the repository are:
Short version:
* The Agda version in the master branch is 2.5
* The name of maintenance branch is maint-2.4
Long version:
In https://github.com/agda/agda/issues/1730#issuecomment-161898809 ,
Ulf proposed the following policy for the version numbers:
===========
If current released version is Agda 2.X.Y.Z, master will be 2.(X+1).
Pure bug fixes are released as 2.X.Y.(Z+1) as before, but minor
semantics changes can be released on maintenance as 2.X.(Y+1). Master
will then be released as 2.(X+1).1 with corresponding maintenance
branches and then bumped to 2.(X+2).
So, for the current situation we would have
* master: version 2.5
* maint-2.4: version 2.4.2.5 with option to release 2.4.2.5 or 2.4.3
===========
Best,
--
Andrés
More information about the Agda-dev
mailing list