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