Index of ftp://ftp.ifm.liu.se/pub/unix/agda

[DIR] Parent Directory

[ GZ] agda-0.3.tar.gz  7.81Kb  January 10 2002
[ GZ] agda-1.0.tar.gz  12.52Kb  January 13 2002
[ GZ] agda-1.1.tar.gz  16.04Kb  January 14 2002
[ GZ] agda-1.2.tar.gz  17.41Kb  January 15 2002
[ GZ] agda-1.3.tar.gz  18.61Kb  January 19 2002
[ GZ] agda-1.4.tar.gz  21.42Kb  January 20 2002