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

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] agda-bin_2.4.0.2-2+b1_amd64.deb        2014-09-07 20:27  3.7M  
[   ] agda-bin_2.4.0.2-2+b1_i386.deb         2014-09-08 09:57  3.6M  
[   ] agda-bin_2.5.1.1-3+b3_amd64.deb        2016-11-10 18:40  5.9M  
[   ] agda-bin_2.5.1.1-3+b3_i386.deb         2016-11-10 18:00  6.0M  
[   ] agda-mode_2.2.6-7_all.deb              2010-05-06 06:02   39K  
[   ] agda-mode_2.3.0.1-2_all.deb            2012-05-26 23:32   45K  
[   ] agda-mode_2.4.0.2-2_all.deb            2014-08-11 13:28   86K  
[   ] agda-mode_2.5.1.1-3_all.deb            2016-10-29 02:56   78K  
[   ] agda_2.2.6-7.debian.tar.gz             2010-05-06 06:02  5.2K  
[TXT] agda_2.2.6-7.dsc                       2010-05-06 06:02  2.2K  
[   ] agda_2.2.6.orig.tar.gz                 2010-01-07 20:47  414K  
[   ] agda_2.3.0.1-2.debian.tar.gz           2012-05-26 23:32  6.7K  
[TXT] agda_2.3.0.1-2.dsc                     2012-05-26 23:32  2.3K  
[   ] agda_2.3.0.1-2_all.deb                 2012-05-26 23:32   13K  
[   ] agda_2.3.0.1.orig.tar.gz               2012-03-12 14:32  598K  
[   ] agda_2.4.0.2-2.debian.tar.xz           2014-08-11 13:28  7.2K  
[TXT] agda_2.4.0.2-2.dsc                     2014-08-11 13:28  3.8K  
[   ] agda_2.4.0.2-2_all.deb                 2014-08-11 13:28   55K  
[   ] agda_2.4.0.2.orig.tar.gz               2014-08-05 11:23  889K  
[   ] agda_2.5.1.1-3.debian.tar.xz           2016-10-28 02:24  8.8K  
[TXT] agda_2.5.1.1-3.dsc                     2016-10-28 02:24  4.1K  
[   ] agda_2.5.1.1-3_all.deb                 2016-10-29 02:56   78K  
[   ] agda_2.5.1.1.orig.tar.gz               2016-10-16 22:43  1.1M  
[   ] elpa-agda2-mode_2.5.1.1-3_all.deb      2016-10-29 02:56  113K  
[   ] libghc-agda-dev_2.3.0.1-2+b1_amd64.deb 2012-05-28 01:02   12M  
[   ] libghc-agda-dev_2.3.0.1-2_i386.deb     2012-05-27 00:32   12M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_amd64.deb 2014-09-07 20:27  9.3M  
[   ] libghc-agda-dev_2.4.0.2-2+b1_i386.deb  2014-09-08 09:57  9.2M  
[   ] libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 2016-11-10 18:40   12M  
[   ] libghc-agda-dev_2.5.1.1-3+b3_i386.deb  2016-11-10 18:00   14M  
[   ] libghc-agda-doc_2.3.0.1-2_all.deb      2012-05-26 23:32  1.7M  
[   ] libghc-agda-doc_2.4.0.2-2_all.deb      2014-08-11 13:28  1.9M  
[   ] libghc-agda-doc_2.5.1.1-3_all.deb      2016-10-29 02:56  2.5M  
[   ] libghc6-agda-dev_2.2.6-7_amd64.deb     2010-05-06 06:02  9.6M  
[   ] libghc6-agda-dev_2.2.6-7_i386.deb      2010-05-06 09:17  9.1M  
[   ] libghc6-agda-doc_2.2.6-7_all.deb       2010-05-06 06:02  1.0M