Hi Randy,<br><br>The standard library has to be downloaded as it is explained on Agda's wiki [1] : "Note that the <a class="wikilink" href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary" title="Releases">standard library</a> is not bundled with all packages described below, and that <a class="wikilink" href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries">other libraries</a> are also available."<br>
<br>Cheers,<br><br>--<br clear="all">guillaume<br>
<br>[1] <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download</a><br><br><div class="gmail_quote">On 15 April 2010 14:24, Randy Pollack <span dir="ltr"><<a href="mailto:rpollack@inf.ed.ac.uk">rpollack@inf.ed.ac.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I am trying to install agda on kubuntu 9.10 (amd64) Following the<br>
instructions, I ran<br>
<br>
sudo apt-get install agda-mode<br>
<br>
which worked<br>
<br>
$agda -V<br>
Agda version 2.2.4<br>
<br>
But there seems to be no matching package for the standard library:<br>
<br>
$sudo apt-get install agda-stdlib<br>
Reading package lists... Done<br>
Building dependency tree<br>
Reading state information... Done<br>
E: Couldn't find package agda-stdlib<br>
<br>
What is my problem?<br>
<br>
Thanks for any help.<br>
<br>
Best,<br>
Randy<br>
<font color="#888888"><br>
--<br>
The University of Edinburgh is a charitable body, registered in<br>
Scotland, with registration number SC005336.<br>
<br>
_______________________________________________<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" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</font></blockquote></div><br>