[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