ftp.ntua.gr:/mirror/ubuntu/pool/universe/a/agda-stdlib/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] agda-stdlib-doc_0.11-1_all.deb                   05-Jan-2016 03:20  1.2M  
[   ] agda-stdlib-doc_0.14-1_all.deb                   26-Nov-2017 20:04  1.0M  
[   ] agda-stdlib-doc_0.6-2_all.deb                    19-Mar-2012 00:03  1.6M  
[   ] agda-stdlib-doc_0.7-2_all.deb                    28-May-2013 02:33  1.7M  
[   ] agda-stdlib-doc_1.1-1_all.deb                    06-Sep-2019 18:48  1.8M  
[   ] agda-stdlib-doc_1.3-2_all.deb                    02-Aug-2020 08:43  2.3M  
[   ] agda-stdlib_0.11-1.debian.tar.xz                 05-Jan-2016 01:25  4.5K  
[   ] agda-stdlib_0.11-1.dsc                           05-Jan-2016 01:25  2.1K  
[   ] agda-stdlib_0.11-1_all.deb                       05-Jan-2016 03:20   17M  
[   ] agda-stdlib_0.11.orig.tar.gz                     05-Jan-2016 01:25  247K  
[   ] agda-stdlib_0.14-1.debian.tar.xz                 26-Nov-2017 19:08  5.1K  
[   ] agda-stdlib_0.14-1.dsc                           26-Nov-2017 19:08  2.1K  
[   ] agda-stdlib_0.14-1_all.deb                       26-Nov-2017 20:04   17M  
[   ] agda-stdlib_0.14.orig.tar.gz                     26-Nov-2017 13:14  279K  
[   ] agda-stdlib_0.6-2.debian.tar.gz                  18-Mar-2012 23:33  4.1K  
[   ] agda-stdlib_0.6-2.dsc                            18-Mar-2012 23:33  1.4K  
[   ] agda-stdlib_0.6-2_all.deb                        19-Mar-2012 00:03   16M  
[   ] agda-stdlib_0.6.orig.tar.gz                      04-Jan-2012 03:04  211K  
[   ] agda-stdlib_0.7-2.debian.tar.gz                  28-May-2013 02:33  4.4K  
[   ] agda-stdlib_0.7-2.dsc                            28-May-2013 02:33  2.0K  
[   ] agda-stdlib_0.7-2_all.deb                        28-May-2013 02:33   17M  
[   ] agda-stdlib_0.7.orig.tar.gz                      10-Apr-2013 21:03  221K  
[   ] agda-stdlib_1.1-1.debian.tar.xz                  06-Sep-2019 18:48  5.4K  
[   ] agda-stdlib_1.1-1.dsc                            06-Sep-2019 18:48  2.1K  
[   ] agda-stdlib_1.1-1_all.deb                        06-Sep-2019 18:48   45M  
[   ] agda-stdlib_1.1.orig.tar.gz                      04-Sep-2019 16:38  557K  
[   ] agda-stdlib_1.3-2.debian.tar.xz                  02-Aug-2020 08:13  5.5K  
[   ] agda-stdlib_1.3-2.dsc                            02-Aug-2020 08:13  2.1K  
[   ] agda-stdlib_1.3-2_all.deb                        02-Aug-2020 08:43   70M  
[   ] agda-stdlib_1.3.orig.tar.gz                      02-Aug-2020 02:33  734K
Apache/2.2 Server at ftp.ntua.gr Port 80