[Agda-dev] Changes in the repository due to Agda 2.5.1

Andrés Sicard-Ramírez asr at eafit.edu.co
Sun Apr 17 00:50:31 CEST 2016

Previous message: [Agda-dev] Re: [ANNOUNCE] Agda 2.5.1 release candidate 2
Next message: [Agda-dev] [ANNOUNCE] Agda 2.5.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

The changes are:

* Agda version in master: 2.6.0

* The stable (formerly called maintenance) branch is `stable-2.5`

* Agda version number in stable: 2.5.1.1

Best,

-- 
Andrés

Previous message: [Agda-dev] Re: [ANNOUNCE] Agda 2.5.1 release candidate 2
Next message: [Agda-dev] [ANNOUNCE] Agda 2.5.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list