[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