ftp.ntua.gr:/debian/pool/main/a/agda-stdlib/ 
Icon  Name                              Last modified      Size  
[DIR] Parent Directory                                       -   
[   ] agda-stdlib-doc_0.12-2_all.deb    23-Jun-2016 21:55  1.2M  
[   ] agda-stdlib-doc_0.17-1_all.deb    24-Nov-2018 03:48  1.3M  
[   ] agda-stdlib-doc_0.8-2_all.deb     12-Aug-2014 12:40  1.2M  
[   ] agda-stdlib-doc_1.3-2_all.deb     01-Aug-2020 16:34  2.3M  
[   ] agda-stdlib-doc_1.7.1-1_all.deb   06-Aug-2022 21:46  2.9M  
[   ] agda-stdlib-doc_1.7.3-1_all.deb   04-Nov-2023 14:59  2.9M  
[   ] agda-stdlib_0.12-2.debian.tar.xz  23-Jun-2016 20:53  4.9K  
[   ] agda-stdlib_0.12-2.dsc            23-Jun-2016 20:53  2.1K  
[   ] agda-stdlib_0.12-2_all.deb        23-Jun-2016 21:55   16M  
[   ] agda-stdlib_0.12.orig.tar.gz      20-Jun-2016 11:47  248K  
[   ] agda-stdlib_0.17-1.debian.tar.xz  24-Nov-2018 03:07  5.2K  
[   ] agda-stdlib_0.17-1.dsc            24-Nov-2018 03:07  2.2K  
[   ] agda-stdlib_0.17-1_all.deb        24-Nov-2018 03:48   31M  
[   ] agda-stdlib_0.17.orig.tar.gz      24-Nov-2018 03:07  388K  
[   ] agda-stdlib_0.8-2.debian.tar.xz   12-Aug-2014 12:40  4.4K  
[   ] agda-stdlib_0.8-2.dsc             12-Aug-2014 12:40  2.0K  
[   ] agda-stdlib_0.8-2_all.deb         12-Aug-2014 12:40   22M  
[   ] agda-stdlib_0.8.orig.tar.gz       05-Aug-2014 12:28  240K  
[   ] agda-stdlib_1.3-2.debian.tar.xz   01-Aug-2020 15:54  5.5K  
[   ] agda-stdlib_1.3-2.dsc             01-Aug-2020 15:54  2.1K  
[   ] agda-stdlib_1.3-2_all.deb         01-Aug-2020 16:34   70M  
[   ] agda-stdlib_1.3.orig.tar.gz       31-Jul-2020 14:50  734K  
[   ] agda-stdlib_1.7.1-1.debian.tar.xz 06-Aug-2022 20:10  5.5K  
[   ] agda-stdlib_1.7.1-1.dsc           06-Aug-2022 20:10  2.1K  
[   ] agda-stdlib_1.7.1-1_all.deb       06-Aug-2022 21:46   95M  
[   ] agda-stdlib_1.7.1.orig.tar.gz     06-Aug-2022 20:10  918K  
[   ] agda-stdlib_1.7.3-1.debian.tar.xz 04-Nov-2023 14:33  5.6K  
[   ] agda-stdlib_1.7.3-1.dsc           04-Nov-2023 14:33  2.1K  
[   ] agda-stdlib_1.7.3-1_all.deb       04-Nov-2023 14:59  112M  
[   ] agda-stdlib_1.7.3.orig.tar.gz     04-Nov-2023 14:33  920K
Apache/2.2 Server at debian.noc.ntua.gr Port 80