Index of /livecdroom/source/makulu/main/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda_2.3.0.1-2.debian.tar.gz
2017-11-19 15:17
6.7K
agda_2.3.0.1-2.dsc
2017-11-19 15:17
2.3K
agda_2.3.0.1.orig.tar.gz
2017-11-19 15:17
598K
agda_2.3.2.2-1.debian.tar.gz
2015-07-24 20:08
7.2K
agda_2.3.2.2-1.dsc
2015-07-24 20:08
3.2K
agda_2.3.2.2.orig.tar.gz
2015-07-24 20:08
1.9M
agda_2.4.0.2-2.debian.tar.xz
2015-07-24 20:08
7.2K
agda_2.4.0.2-2.dsc
2015-07-24 20:08
3.8K
agda_2.4.0.2.orig.tar.gz
2015-07-24 20:08
889K
agda_2.4.2.2-3.debian.tar.xz
2015-07-24 20:08
8.2K
agda_2.4.2.2-3.dsc
2015-07-24 20:08
3.5K
agda_2.4.2.2.orig.tar.gz
2015-07-24 20:08
941K
agda_2.5.1.1-3.debian.tar.xz
2017-08-07 04:50
8.8K
agda_2.5.1.1-3.dsc
2017-08-07 04:50
4.1K
agda_2.5.1.1.orig.tar.gz
2017-08-07 04:50
1.1M
agda_2.5.2-2.debian.tar.xz
2017-08-07 04:50
8.8K
agda_2.5.2-2.dsc
2017-08-07 04:50
4.0K
agda_2.5.2.orig.tar.gz
2017-08-07 04:50
1.2M
agda_2.5.3-3.debian.tar.xz
2017-11-19 15:17
9.5K
agda_2.5.3-3.dsc
2017-11-19 15:17
4.5K
agda_2.5.3.orig.tar.gz
2017-11-19 15:17
1.1M
agda_2.5.4.1-3.debian.tar.xz
2019-09-04 14:25
9.7K
agda_2.5.4.1-3.dsc
2019-09-04 14:25
3.8K
agda_2.5.4.1.orig.tar.gz
2019-09-04 14:25
1.9M
agda_2.6.0.1-1.debian.tar.xz
2019-09-04 14:25
9.8K
agda_2.6.0.1-1.dsc
2019-09-04 14:25
4.1K
agda_2.6.0.1.orig.tar.gz
2019-09-04 14:25
2.3M
agda_2.6.1-1.debian.tar.xz
2021-09-22 13:04
9.8K
agda_2.6.1-1.dsc
2021-09-22 13:04
4.1K
agda_2.6.1.orig.tar.gz
2021-09-22 13:04
2.5M
agda_2.6.2.2-1.1.debian.tar.xz
2023-07-15 13:50
10K
agda_2.6.2.2-1.1.dsc
2023-07-15 13:50
4.3K
agda_2.6.2.2.orig.tar.gz
2023-07-15 13:50
1.6M
Apache/2.4.56 (Debian) Server at simosnet.com Port 80