[Agda] newbie: installation problem

[Iain Lane]

Hiya,

On Thu, Apr 15, 2010 at 01:24:16PM +0100, Randy Pollack 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?

Your problem is that there isn't a corresponding agda-stdlib package on 
Ubuntu 9.10. You can either upgrade to Lucid (10.04) now and use the 
package which is available there, or install the library manually. Note 
that only version 0.2 is tested to work with Agda 2.2.4.

Cheers,
Iain