[Agda] newbie: installation problem
Guillaume Allais
sbleune at gmail.com
Thu Apr 15 14:30:21 CEST 2010
Hi Randy,
The standard library has to be downloaded as it is explained on Agda's wiki
[1] : "Note that the standard
library<http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary>is
not bundled with all packages described below, and that other
libraries <http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries>are
also available."
Cheers,
--
guillaume
[1] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download
On 15 April 2010 14:24, Randy Pollack <rpollack at inf.ed.ac.uk> wrote:
> I am trying to install agda on kubuntu 9.10 (amd64) Following the
> instructions, I ran
>
> sudo apt-get install agda-mode
>
> which worked
>
> $agda -V
> Agda version 2.2.4
>
> But there seems to be no matching package for the standard library:
>
> $sudo apt-get install agda-stdlib
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> E: Couldn't find package agda-stdlib
>
> What is my problem?
>
> Thanks for any help.
>
> Best,
> Randy
>
> --
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100415/daf62e35/attachment.html
More information about the Agda
mailing list