Index of /livecdroom/source/avlinux/main/a/agda-bin
Name
Last modified
Size
Description
Parent Directory
-
agda-bin_2.3.0.1-1.diff.gz
2017-11-19 15:16
2.9K
agda-bin_2.3.0.1-1.dsc
2017-11-19 15:16
1.3K
agda-bin_2.3.0.1.orig.tar.gz
2017-11-19 15:16
1.7K
Apache/2.4.56 (Debian) Server at simosnet.com Port 80