
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto">Herminie, did you have any problems installing previous Agda versions from Homebrew?<br><br><div dir="ltr">-- <div>MB</div><div><br></div></div><div dir="ltr"><br><blockquote type="cite">On 17 Mar 2020, at 15:49, Herminie Pagel <herminie.pagel@gmail.com> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><div dir="ltr"><div>Thank you so much, Matthew. Agda 2.6.1 is already available on Homebrew, so I could finally install it.</div><div><br></div><div>-- h<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Di., 17. März 2020 um 00:43 Uhr schrieb Matthew Daggitt <<a href="mailto:matthewdaggitt@gmail.com">matthewdaggitt@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Hi Mietek,<div dir="auto"> Yup the plan is always to release the new version of the standard library with Agda whenever the old version is incompatible. Unfortunately I had a grant deadline yesterday so couldn't get it out immediately. Will release it in the next few hours.</div><div dir="auto">Matthew</div><div dir="auto"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 17 Mar 2020, 02:53 Andrés Sicard-Ramírez, <<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Mon, 16 Mar 2020 at 13:41, Miëtek Bak <<a href="mailto:mietek@bak.io" rel="noreferrer" target="_blank">mietek@bak.io</a>> wrote:<br>

><br>

> Can we make it a rule that the standard library gets a release at the same time as Agda?<br>

<br>

I think it isn't a good idea. Both releases procedures currently are<br>

complex and we don't need to add extra complexity. The team of<br>

standard library knew the plans for the Agda release and them we'll<br>

release a version of the standard library compatibles with Agda 2.6.1.<br>

soon.<br>

<br>

Best,<br>

<br>

<br>

-- <br>

Andrés<br>

_______________________________________________<br>

Agda mailing list<br>

<a href="mailto:Agda@lists.chalmers.se" rel="noreferrer" target="_blank">Agda@lists.chalmers.se</a><br>

<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>

</blockquote></div>

_______________________________________________<br>

Agda mailing list<br>

<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>

<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>

</blockquote></div>

<span>_______________________________________________</span><br><span>Agda mailing list</span><br><span>Agda@lists.chalmers.se</span><br><span>https://lists.chalmers.se/mailman/listinfo/agda</span><br></div></blockquote></body></html>