[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