Index of /pub/ubuntu/pool/universe/a/agda

Icon  Name                                      Last modified      Size  Description
[DIR] Parent Directory - [   ] agda_2.4.2.5-1build1_all.deb 12-Jan-2016 17:59 2.9K [   ] agda_2.3.0.1-1build2_all.deb 21-Apr-2012 13:03 2.9K [   ] agda_2.3.2.2-1_all.deb 06-Nov-2013 12:28 2.9K [   ] agda_2.5.3-3build1_all.deb 25-Nov-2017 15:09 3.0K [   ] agda_2.5.3-5build3_all.deb 05-Jul-2018 04:58 3.0K [TXT] agda_2.3.0.1-1build2.dsc 21-Apr-2012 12:33 3.0K [TXT] agda_2.3.2.2-1.dsc 06-Nov-2013 12:28 3.2K [   ] agda-mode_2.5.3-5build3_all.deb 05-Jul-2018 04:58 3.5K [   ] agda-mode_2.5.3-3build1_all.deb 25-Nov-2017 15:09 3.5K [   ] agda-mode_2.6.0.1-1build2_all.deb 03-Sep-2019 02:23 3.6K [   ] agda-mode_2.5.4.1-3_all.deb 14-Dec-2018 05:58 3.6K [TXT] agda_2.4.2.5-1build1.dsc 12-Jan-2016 17:30 3.7K [TXT] agda_2.5.4.1-3.dsc 14-Dec-2018 05:18 3.8K [   ] agda_2.6.0.1-1build2_all.deb 03-Sep-2019 02:23 4.0K [   ] agda_2.5.4.1-3_all.deb 14-Dec-2018 05:58 4.0K [TXT] agda_2.6.0.1-1build2.dsc 03-Sep-2019 01:53 4.2K [TXT] agda_2.5.3-5build3.dsc 05-Jul-2018 03:48 4.4K [TXT] agda_2.5.3-3build1.dsc 25-Nov-2017 14:15 4.5K [   ] agda_2.3.0.1-1build2.debian.tar.gz 21-Apr-2012 12:33 6.5K [   ] agda_2.3.2.2-1.debian.tar.gz 06-Nov-2013 12:28 7.2K [   ] agda_2.4.2.5-1build1.debian.tar.xz 12-Jan-2016 17:30 7.7K [   ] agda_2.5.3-3build1.debian.tar.xz 25-Nov-2017 14:15 9.6K [   ] agda_2.5.4.1-3.debian.tar.xz 14-Dec-2018 05:18 9.7K [   ] agda_2.5.3-5build3.debian.tar.xz 05-Jul-2018 03:48 9.9K [   ] agda_2.6.0.1-1build2.debian.tar.xz 03-Sep-2019 01:53 9.9K [   ] agda-mode_2.4.2.5-1build1_all.deb 12-Jan-2016 17:59 36K [   ] agda-mode_2.3.0.1-1build2_all.deb 21-Apr-2012 13:03 40K [   ] elpa-agda2-mode_2.5.3-3build1_all.deb 25-Nov-2017 15:09 40K [   ] elpa-agda2-mode_2.5.3-5build3_all.deb 05-Jul-2018 04:58 40K [   ] elpa-agda2-mode_2.5.4.1-3_all.deb 14-Dec-2018 05:58 40K [   ] elpa-agda2-mode_2.6.0.1-1build2_all.deb 03-Sep-2019 02:23 41K [   ] agda-mode_2.3.2.2-1_all.deb 06-Nov-2013 12:28 47K [   ] agda_2.3.0.1.orig.tar.gz 18-Mar-2012 08:03 598K [   ] agda_2.4.2.5.orig.tar.gz 04-Jan-2016 18:25 1.0M [   ] agda_2.5.3.orig.tar.gz 01-Nov-2017 09:05 1.1M [   ] libghc-agda-doc_2.3.0.1-1build2_all.deb 21-Apr-2012 13:03 1.6M [   ] agda_2.5.4.1.orig.tar.gz 14-Dec-2018 05:18 1.9M [   ] agda_2.3.2.2.orig.tar.gz 06-Nov-2013 12:28 1.9M [   ] libghc-agda-doc_2.4.2.5-1build1_all.deb 12-Jan-2016 17:59 2.1M [   ] libghc-agda-doc_2.3.2.2-1_all.deb 06-Nov-2013 12:28 2.1M [   ] agda_2.6.0.1.orig.tar.gz 01-Sep-2019 08:43 2.3M [   ] libghc-agda-doc_2.5.3-5build3_all.deb 05-Jul-2018 04:58 2.5M [   ] libghc-agda-doc_2.5.3-3build1_all.deb 25-Nov-2017 15:09 2.6M [   ] libghc-agda-doc_2.5.4.1-3_all.deb 14-Dec-2018 05:58 3.5M [   ] libghc-agda-doc_2.6.0.1-1build2_all.deb 03-Sep-2019 02:23 4.0M [   ] agda-bin_2.4.2.5-1build1_i386.deb 12-Jan-2016 17:45 4.6M [   ] agda-bin_2.4.2.5-1build1_amd64.deb 12-Jan-2016 17:59 4.6M [   ] agda-bin_2.3.2.2-1_i386.deb 06-Nov-2013 12:28 4.9M [   ] agda-bin_2.3.2.2-1_amd64.deb 06-Nov-2013 12:28 5.2M [   ] agda-bin_2.5.3-3build1_amd64.deb 25-Nov-2017 15:09 5.5M [   ] agda-bin_2.5.3-3build1_i386.deb 25-Nov-2017 15:09 5.5M [   ] agda-bin_2.5.3-5build3_amd64.deb 05-Jul-2018 04:58 5.5M [   ] agda-bin_2.5.4.1-3_amd64.deb 14-Dec-2018 05:58 5.5M [   ] agda-bin_2.5.4.1-3_i386.deb 14-Dec-2018 05:38 5.6M [   ] agda-bin_2.5.3-5build3_i386.deb 05-Jul-2018 04:48 5.6M [   ] agda-bin_2.6.0.1-1build2_amd64.deb 03-Sep-2019 02:23 6.3M [   ] agda-bin_2.6.0.1-1build2_i386.deb 03-Sep-2019 02:23 6.3M [   ] libghc-agda-dev_2.4.2.5-1build1_i386.deb 12-Jan-2016 17:45 10M [   ] libghc-agda-dev_2.4.2.5-1build1_amd64.deb 12-Jan-2016 17:59 10M [   ] libghc-agda-dev_2.3.0.1-1build2_i386.deb 21-Apr-2012 13:03 12M [   ] libghc-agda-dev_2.3.2.2-1_i386.deb 06-Nov-2013 12:28 12M [   ] libghc-agda-dev_2.3.0.1-1build2_amd64.deb 21-Apr-2012 13:03 12M [   ] libghc-agda-dev_2.3.2.2-1_amd64.deb 06-Nov-2013 12:28 13M [   ] libghc-agda-dev_2.5.3-3build1_i386.deb 25-Nov-2017 15:09 15M [   ] libghc-agda-dev_2.5.3-5build3_i386.deb 05-Jul-2018 04:48 15M [   ] libghc-agda-dev_2.5.3-3build1_amd64.deb 25-Nov-2017 15:09 15M [   ] libghc-agda-dev_2.5.3-5build3_amd64.deb 05-Jul-2018 04:58 15M [   ] libghc-agda-dev_2.5.4.1-3_i386.deb 14-Dec-2018 05:38 16M [   ] libghc-agda-dev_2.5.4.1-3_amd64.deb 14-Dec-2018 05:58 16M [   ] libghc-agda-dev_2.6.0.1-1build2_i386.deb 03-Sep-2019 02:23 18M [   ] libghc-agda-dev_2.6.0.1-1build2_amd64.deb 03-Sep-2019 02:23 19M
Apache Server at 209.208.0.134 Port 80