Index of /livecdroom/source/pearos/universe/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda_2.2.6-3.diff.gz2012-01-27 08:16 5.2K 
[TXT]agda_2.2.6-3.dsc2012-01-27 08:16 2.7K 
[ ]agda_2.2.6-7build1.debian.tar.gz2012-01-27 08:16 5.2K 
[TXT]agda_2.2.6-7build1.dsc2012-01-27 08:16 2.3K 
[ ]agda_2.2.6.orig.tar.gz2012-01-27 08:16 414K 
[ ]agda_2.2.10-1~ubuntu1.debian.tar.gz2012-01-27 08:16 8.2K 
[TXT]agda_2.2.10-1~ubuntu1.dsc2012-01-27 08:16 3.1K 
[ ]agda_2.2.10-3build1.debian.tar.gz2012-01-27 08:16 7.5K 
[TXT]agda_2.2.10-3build1.dsc2012-01-27 08:16 3.1K 
[ ]agda_2.2.10.orig.tar.gz2012-01-27 08:16 506K 
[ ]agda_2.3.0-1build1.debian.tar.gz2012-01-27 08:16 6.4K 
[TXT]agda_2.3.0-1build1.dsc2012-01-27 08:16 3.4K 
[ ]agda_2.3.0.1-1build2.debian.tar.gz2013-05-18 15:55 6.5K 
[TXT]agda_2.3.0.1-1build2.dsc2013-05-18 15:55 3.0K 
[ ]agda_2.3.0.1-2build1.debian.tar.gz2013-05-18 15:55 6.8K 
[TXT]agda_2.3.0.1-2build1.dsc2013-05-18 15:55 3.0K 
[ ]agda_2.3.0.1.orig.tar.gz2013-05-18 15:55 598K 
[ ]agda_2.3.0.orig.tar.gz2012-01-27 08:16 594K 
[ ]agda_2.3.2-1.debian.tar.gz2013-05-18 15:55 7.1K 
[TXT]agda_2.3.2-1.dsc2013-05-18 15:55 3.3K 
[ ]agda_2.3.2-1build1.debian.tar.gz2013-05-18 15:55 7.2K 
[TXT]agda_2.3.2-1build1.dsc2013-05-18 15:55 3.4K 
[ ]agda_2.3.2.2-1.debian.tar.gz2015-07-21 10:33 7.2K 
[TXT]agda_2.3.2.2-1.dsc2017-08-05 19:28 3.2K 
[ ]agda_2.3.2.2.orig.tar.gz2015-07-21 10:33 1.9M 
[ ]agda_2.3.2.orig.tar.gz2013-05-18 15:55 709K 
[ ]agda_2.4.0.2-2.debian.tar.xz2015-07-21 10:33 7.2K 
[ ]agda_2.4.0.2-2build1.debian.tar.xz2015-07-21 10:33 7.2K 
[TXT]agda_2.4.0.2-2build1.dsc2017-08-05 19:28 3.9K 
[ ]agda_2.4.0.2.orig.tar.gz2015-07-21 10:33 889K 
[ ]agda_2.4.2.2-3.debian.tar.xz2015-07-21 10:33 8.2K 
[ ]agda_2.4.2.2-3build1.debian.tar.xz2015-07-21 10:33 8.2K 
[ ]agda_2.4.2.2-4build1.debian.tar.xz2017-08-05 19:28 8.6K 
[TXT]agda_2.4.2.2-4build1.dsc2017-08-05 19:28 3.6K 
[ ]agda_2.4.2.2.orig.tar.gz2015-07-21 10:33 941K 
[ ]agda_2.4.2.5-1build1.debian.tar.xz2017-08-05 19:28 7.7K 
[TXT]agda_2.4.2.5-1build1.dsc2017-08-05 19:28 3.7K 
[ ]agda_2.4.2.5.orig.tar.gz2017-08-05 19:28 1.0M 
[ ]agda_2.5.1-2build2.debian.tar.xz2017-08-05 19:28 8.7K 
[TXT]agda_2.5.1-2build2.dsc2017-08-05 19:28 4.0K 
[ ]agda_2.5.1.1-3build3.debian.tar.xz2017-08-05 19:28 9.4K 
[TXT]agda_2.5.1.1-3build3.dsc2017-08-05 19:28 4.0K 
[ ]agda_2.5.1.1.orig.tar.gz2017-08-05 19:28 1.1M 
[ ]agda_2.5.1.orig.tar.gz2017-08-05 19:28 1.1M 
[ ]agda_2.5.2-2build1.debian.tar.xz2017-08-05 19:28 8.9K 
[TXT]agda_2.5.2-2build1.dsc2017-08-05 19:28 4.0K 
[ ]agda_2.5.2.orig.tar.gz2017-08-05 19:28 1.2M 
[ ]agda_2.5.3-3build1.debian.tar.xz2018-05-30 14:42 9.6K 
[TXT]agda_2.5.3-3build1.dsc2018-05-30 14:42 4.5K 
[ ]agda_2.5.3-5.debian.tar.xz2018-05-30 14:42 9.8K 
[TXT]agda_2.5.3-5.dsc2018-05-30 14:42 4.6K 
[ ]agda_2.5.3.orig.tar.gz2018-05-30 14:42 1.1M 
[ ]agda_2.6.0.1-1build2.debian.tar.xz2020-05-27 09:06 9.9K 
[TXT]agda_2.6.0.1-1build2.dsc2020-05-27 09:06 4.2K 
[ ]agda_2.6.0.1-1build4.debian.tar.xz2020-05-27 09:06 10K 
[TXT]agda_2.6.0.1-1build4.dsc2020-05-27 09:06 4.2K 
[ ]agda_2.6.0.1.orig.tar.gz2020-05-27 09:06 2.3M 
[ ]agda_2.6.1-1build2.1.debian.tar.xz2022-05-10 01:01 10K 
[TXT]agda_2.6.1-1build2.1.dsc2022-05-10 01:01 4.2K 
[ ]agda_2.6.1-1build2.debian.tar.xz2022-05-10 01:01 9.9K 
[TXT]agda_2.6.1-1build2.dsc2022-05-10 01:01 4.2K 
[ ]agda_2.6.1.orig.tar.gz2022-05-10 01:01 2.5M 
[ ]agda_2.6.2.2-1.1build1.debian.tar.xz2024-05-15 23:46 10K 
[TXT]agda_2.6.2.2-1.1build1.dsc2024-05-15 23:46 4.3K 
[ ]agda_2.6.2.2.orig.tar.gz2024-05-15 23:46 1.6M 
[ ]agda_2.6.3-1build1.debian.tar.xz2024-05-15 23:45 11K 
[TXT]agda_2.6.3-1build1.dsc2024-05-15 23:45 4.8K 
[ ]agda_2.6.3-1build2.debian.tar.xz2024-05-15 23:45 11K 
[TXT]agda_2.6.3-1build2.dsc2024-05-15 23:45 4.8K 
[ ]agda_2.6.3.orig.tar.gz2024-05-15 23:46 1.7M 
Apache/2.4.56 (Debian) Server at simosnet.com Port 80