Index of /debian/pool/main/a/agda

Icon  Name                                            Last modified      Size  Description
[DIR] Parent Directory                                                     -   
[   ] agda-bin_2.4.0.2-2+b1_amd64.deb                 07-Sep-2014 21:27  3.7M  
[   ] agda-bin_2.4.0.2-2+b1_i386.deb                  08-Sep-2014 10:57  3.6M  
[   ] agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb        08-Sep-2014 10:57  4.3M  
[   ] agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb         08-Sep-2014 10:47  4.1M  
[   ] agda-bin_2.4.0.2-2+b1_powerpc.deb               08-Sep-2014 11:12  3.4M  
[   ] agda-bin_2.5.1.1-3+b3_amd64.deb                 10-Nov-2016 19:40  5.9M  
[   ] agda-bin_2.5.1.1-3+b3_arm64.deb                 10-Nov-2016 20:10   11M  
[   ] agda-bin_2.5.1.1-3+b3_i386.deb                  10-Nov-2016 19:00  6.0M  
[   ] agda-bin_2.5.1.1-3+b3_s390x.deb                 10-Nov-2016 20:30   21M  
[   ] agda-bin_2.5.1.1-3_mips64el.deb                 20-Nov-2016 02:28  9.5M  
[   ] agda-bin_2.5.2-2+b1_kfreebsd-amd64.deb          14-Jul-2017 13:59  5.7M  
[   ] agda-bin_2.5.3-3+b2_amd64.deb                   25-Nov-2017 06:59  5.5M  
[   ] agda-bin_2.5.3-3+b2_arm64.deb                   25-Nov-2017 09:57  8.8M  
[   ] agda-bin_2.5.3-3+b2_hurd-i386.deb               25-Nov-2017 18:30  6.4M  
[   ] agda-bin_2.5.3-3+b2_i386.deb                    25-Nov-2017 07:40  5.6M  
[   ] agda-bin_2.5.3-3+b2_mips.deb                    25-Nov-2017 14:13  9.2M  
[   ] agda-bin_2.5.3-3+b2_mips64el.deb                25-Nov-2017 22:56  9.9M  
[   ] agda-bin_2.5.3-3+b2_mipsel.deb                  25-Nov-2017 15:43  9.6M  
[   ] agda-bin_2.5.3-3+b2_powerpc.deb                 25-Nov-2017 07:40  4.9M  
[   ] agda-bin_2.5.3-3+b2_ppc64el.deb                 25-Nov-2017 07:00  6.5M  
[   ] agda-bin_2.5.3-3+b2_s390x.deb                   25-Nov-2017 09:41   18M  
[   ] agda-bin_2.5.3-3_kfreebsd-i386.deb              05-Dec-2017 16:00  6.4M  
[   ] agda-mode_2.3.0.1-2_all.deb                     27-May-2012 00:32   45K  
[   ] agda-mode_2.4.0.2-2_all.deb                     11-Aug-2014 14:28   86K  
[   ] agda-mode_2.5.1.1-3_all.deb                     29-Oct-2016 03:56   78K  
[   ] agda-mode_2.5.2-2_all.deb                       10-Jul-2017 15:42   91K  
[   ] agda-mode_2.5.3-3_all.deb                       21-Oct-2017 01:56  103K  
[   ] agda_2.3.0.1-2.debian.tar.gz                    27-May-2012 00:32  6.7K  
[TXT] agda_2.3.0.1-2.dsc                              27-May-2012 00:32  2.3K  
[   ] agda_2.3.0.1-2_all.deb                          27-May-2012 00:32   13K  
[   ] agda_2.3.0.1.orig.tar.gz                        12-Mar-2012 15:32  598K  
[   ] agda_2.4.0.2-2.debian.tar.xz                    11-Aug-2014 14:28  7.2K  
[TXT] agda_2.4.0.2-2.dsc                              11-Aug-2014 14:28  3.8K  
[   ] agda_2.4.0.2-2_all.deb                          11-Aug-2014 14:28   55K  
[   ] agda_2.4.0.2.orig.tar.gz                        05-Aug-2014 12:23  889K  
[   ] agda_2.5.1.1-3.debian.tar.xz                    28-Oct-2016 03:24  8.8K  
[TXT] agda_2.5.1.1-3.dsc                              28-Oct-2016 03:24  4.1K  
[   ] agda_2.5.1.1-3_all.deb                          29-Oct-2016 03:56   78K  
[   ] agda_2.5.1.1.orig.tar.gz                        16-Oct-2016 23:43  1.1M  
[   ] agda_2.5.2-2.debian.tar.xz                      10-Jul-2017 14:11  8.8K  
[TXT] agda_2.5.2-2.dsc                                10-Jul-2017 14:11  4.0K  
[   ] agda_2.5.2-2_all.deb                            10-Jul-2017 15:42   91K  
[   ] agda_2.5.2.orig.tar.gz                          06-Jul-2017 12:41  1.2M  
[   ] agda_2.5.3-3.debian.tar.xz                      14-Oct-2017 05:57  9.5K  
[TXT] agda_2.5.3-3.dsc                                14-Oct-2017 05:57  4.5K  
[   ] agda_2.5.3-3_all.deb                            21-Oct-2017 01:56  104K  
[   ] agda_2.5.3.orig.tar.gz                          13-Oct-2017 18:59  1.1M  
[   ] elpa-agda2-mode_2.5.1.1-3_all.deb               29-Oct-2016 03:56  113K  
[   ] elpa-agda2-mode_2.5.2-2_all.deb                 10-Jul-2017 15:42  126K  
[   ] elpa-agda2-mode_2.5.3-3_all.deb                 21-Oct-2017 01:56  140K  
[   ] libghc-agda-dev_2.3.0.1-2+b1_amd64.deb          28-May-2012 02:02   12M  
[   ] libghc-agda-dev_2.3.0.1-2_armel.deb             28-May-2012 00:33   17M  
[   ] libghc-agda-dev_2.3.0.1-2_armhf.deb             27-May-2012 10:32   18M  
[   ] libghc-agda-dev_2.3.0.1-2_i386.deb              27-May-2012 01:32   12M  
[   ] libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb    27-May-2012 08:17   12M  
[   ] libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb     27-May-2012 08:32   12M  
[   ] libghc-agda-dev_2.3.0.1-2_powerpc.deb           27-May-2012 02:47   16M  
[   ] libghc-agda-dev_2.3.0.1-2_s390x.deb             27-May-2012 10:32   23M  
[   ] libghc-agda-dev_2.3.0.1-2_sparc.deb             02-Jun-2012 18:17   24M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_amd64.deb          07-Sep-2014 21:27  9.3M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_i386.deb           08-Sep-2014 10:57  9.2M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb 08-Sep-2014 10:57  9.3M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb  08-Sep-2014 10:47  9.2M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb        08-Sep-2014 11:12  9.2M  
[   ] libghc-agda-dev_2.5.1.1-3+b3_amd64.deb          10-Nov-2016 19:40   12M  
[   ] libghc-agda-dev_2.5.1.1-3+b3_arm64.deb          10-Nov-2016 20:10   19M  
[   ] libghc-agda-dev_2.5.1.1-3+b3_i386.deb           10-Nov-2016 19:00   14M  
[   ] libghc-agda-dev_2.5.1.1-3+b3_s390x.deb          10-Nov-2016 20:30   25M  
[   ] libghc-agda-dev_2.5.1.1-3_mips64el.deb          20-Nov-2016 02:28   18M  
[   ] libghc-agda-dev_2.5.2-2+b1_kfreebsd-amd64.deb   14-Jul-2017 13:59   13M  
[   ] libghc-agda-dev_2.5.3-3+b2_amd64.deb            25-Nov-2017 06:59   15M  
[   ] libghc-agda-dev_2.5.3-3+b2_arm64.deb            25-Nov-2017 09:57   23M  
[   ] libghc-agda-dev_2.5.3-3+b2_hurd-i386.deb        25-Nov-2017 18:30   15M  
[   ] libghc-agda-dev_2.5.3-3+b2_i386.deb             25-Nov-2017 07:40   15M  
[   ] libghc-agda-dev_2.5.3-3+b2_mips.deb             25-Nov-2017 14:13   20M  
[   ] libghc-agda-dev_2.5.3-3+b2_mips64el.deb         25-Nov-2017 22:56   22M  
[   ] libghc-agda-dev_2.5.3-3+b2_mipsel.deb           25-Nov-2017 15:43   20M  
[   ] libghc-agda-dev_2.5.3-3+b2_powerpc.deb          25-Nov-2017 07:40   15M  
[   ] libghc-agda-dev_2.5.3-3+b2_ppc64el.deb          25-Nov-2017 07:00   20M  
[   ] libghc-agda-dev_2.5.3-3+b2_s390x.deb            25-Nov-2017 09:41   30M  
[   ] libghc-agda-dev_2.5.3-3_kfreebsd-i386.deb       05-Dec-2017 16:00   15M  
[   ] libghc-agda-doc_2.3.0.1-2_all.deb               27-May-2012 00:32  1.7M  
[   ] libghc-agda-doc_2.4.0.2-2_all.deb               11-Aug-2014 14:28  1.9M  
[   ] libghc-agda-doc_2.5.1.1-3_all.deb               29-Oct-2016 03:56  2.5M  
[   ] libghc-agda-doc_2.5.2-2_all.deb                 10-Jul-2017 15:42  2.6M  
[   ] libghc-agda-doc_2.5.3-3_all.deb                 21-Oct-2017 01:56  2.7M