[Agda] Problems with emacs agda-mode after upgrading to 2.3.2

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Tue Nov 13 16:26:55 CET 2012


On Tue, Nov 13, 2012 at 9:52 AM, Andrés Sicard-Ramírez <
andres.sicard.ramirez at gmail.com> wrote:

>
>
>
>>
> In my case using Cezar's dependencies with the following exceptions it
> works:
>
> Works                                Broken
>
> mtl-2.1.1                            mtl-2.1
> haskell-src-exts-1.13.5      haskell-src-exts-1.11.1
> hashtables-1.0.1.8            hashtables-1.0.1.6
> QuickCheck-2.5                QuickCheck-2.4.2
>
>
I forgot to mention

Works              Broken
text-0.11.2.1    text-0.11.2.0

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121113/eb7e801e/attachment.html


More information about the Agda mailing list