[Agda-dev] update to Agda.cabal

[Andrés Sicard-Ramírez]

Hi John,

On Thu, 13 Aug 2020 at 15:52, John Leo <leo at halfaya.org> wrote:

> 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.
>
>
It was OK. Thanks!

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20200816/4b56fab1/attachment.html>