[Agda-dev] Next release: Agda 2.5.1

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Feb 10 23:57:58 CET 2016

Previous message: [Agda-dev] Preparation for supporting GHC 8.0.1
Next message: [Agda-dev] [ANNOUNCE] Agda 2.5.1 release candidate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

After discussing with Agda Headquarters, I'll release Agda 2.5.1 from
the master branch.

FYI, I changed the 2.4.4 milestone to 2.5.1. I'll merge the 2.4.2.6
milestone into the 2.5.1 milestone later.

Best,

-- 
Andrés

Previous message: [Agda-dev] Preparation for supporting GHC 8.0.1
Next message: [Agda-dev] [ANNOUNCE] Agda 2.5.1 release candidate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list