<div dir="ltr">The library system lets you keep different sets of libraries for different Agda versions. See<div><a href="https://agda.readthedocs.io/en/latest/tools/package-system.html#installing-libraries">https://agda.readthedocs.io/en/latest/tools/package-system.html#installing-libraries</a>.<br></div><div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 17, 2016 at 1:29 PM, Manuel Bärenz <span dir="ltr"><<a href="mailto:manuel@enigmage.de" target="_blank">manuel@enigmage.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Is there any effort behind a package manager that takes care of Agda<br>
libraries and versions, which might make version switching easier? For<br>
example, the Nix package manager (<a href="http://nixos.org/nix/" rel="noreferrer" target="_blank">http://nixos.org/nix/</a>) could be used.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
I'm using Enigmail on Thunderbird to sign and encrypt my emails with GPG! Why not try it yourself? <a href="https://enigmail.net/" rel="noreferrer" target="_blank">https://enigmail.net/</a><br>
<br>
<br>
</font></span><br>______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
<br></blockquote></div><br></div>