Index of ftp://ftp.ifm.liu.se/pub/unix/agda
Parent Directory
agda-0.3.tar.gz
7.81Kb
January 10 2002
agda-1.0.tar.gz
12.52Kb
January 13 2002
agda-1.1.tar.gz
16.04Kb
January 14 2002
agda-1.2.tar.gz
17.41Kb
January 15 2002
agda-1.3.tar.gz
18.61Kb
January 19 2002
agda-1.4.tar.gz
21.42Kb
January 20 2002