[Agda-dev] update to Agda.cabal

[John Leo]

Actually I'm getting some kind of hlint warning but it looks like it's from
someone else's change.
https://github.com/agda/agda/runs/982268192

John

On Thu, Aug 13, 2020 at 1:51 PM John Leo <leo at halfaya.org> wrote:

> Hi everyone,
>
> I updated GHC to 8.10.2 today, downloaded the latest Agda master, and
> compiled. I was able to typecheck and also compile MusicTools and
> everything worked fine.
>
> The only change I had to make was to loosen a bound in Agda.cabal. Rather
> than create a new branch, modify the file there and submit a pull request I
> just pushed to Master. I hope that is okay since it's a trivial and safe
> change, but feel free to revert if you feel there might be some problem.
>
> John
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20200813/89839ae6/attachment.html>