[Agda] Maintain compatibility with ghc 7.8?
Andreas Abel
andreas.abel at ifi.lmu.de
Tue Mar 28 16:46:44 CEST 2017
Ok, there seems to be interest in ghc 7.8 compatibility. Thanks for
your feedback! --Andreas
On 28.03.2017 16:17, Martin Escardo wrote:
>
>
> On 28/03/17 14:27, G. Allais wrote:
>> Debian stable is still on 7.6 (altough backports make it
>> possible to upgrade to 7.10):
>>
>> https://packages.debian.org/search?keywords=ghc&searchon=names&suite=all§ion=all
>
> If it is not much trouble, I would like Agda to run in Ubuntu 14.04, for
> several reasons (a machine I use for teaching needs 14.04 as some
> software I need is broken in 16.04 (yes, we do teach Agda here), a
> lightweight netbook I use for travelling doesn't like 16.04, and I tend
> to use Agda for in-flight entertainment :-) )
>
> Martin
>
>
>>
>> On 28/03/17 14:34, Andreas Abel wrote:
>>> Ubuntu 16.04 LTS has ghc-7.10, maybe we can phase out the support of ghc
>>> 7.8 as a platform to compile Agda on?!
>>>
>>> If you wish for support of 7.8 still, please raise your voice and give a
>>> reason.
>>>
>>> Best,
>>> Andreas
>>>
>>
>>
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/
More information about the Agda
mailing list