[Agda] newbie: installation problem

Randy Pollack rpollack at inf.ed.ac.uk
Thu Apr 15 14:24:16 CEST 2010


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.



More information about the Agda mailing list