[Agda-dev] update to Agda.cabal

[John Leo]

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/cfdea7c1/attachment.html>