[Agda-dev] Removing support for GHC 7.4.2

Andrés Sicard-Ramírez asr at eafit.edu.co
Sun Jun 21 23:42:36 CEST 2015

Previous message: [Agda-dev] Unnecessary message from Cabal test?
Next message: [Agda-dev] Removing support for GHC 7.4.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

We plan to remove the support for GHC 7.4.2. Any objections?

Discussion time: 2 weeks

All the best,

-- 
Andrés

Previous message: [Agda-dev] Unnecessary message from Cabal test?
Next message: [Agda-dev] Removing support for GHC 7.4.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list