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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 agda-bin_2.4.0.2-2+b..> 07-Sep-2014 18:27  3.7M  
 agda-bin_2.4.0.2-2+b..> 08-Sep-2014 07:57  3.6M  
 agda-bin_2.4.0.2-2+b..> 08-Sep-2014 07:57  4.3M  
 agda-bin_2.4.0.2-2+b..> 08-Sep-2014 07:47  4.1M  
 agda-bin_2.4.0.2-2+b..> 08-Sep-2014 08:12  3.4M  
 agda-mode_2.2.6-7_al..> 06-May-2010 04:02   39K  
 agda-mode_2.3.0.1-2_..> 26-May-2012 21:32   45K  
 agda-mode_2.4.0.2-2_..> 11-Aug-2014 11:28   86K  
 agda_2.2.6-7.debian...> 06-May-2010 04:02  5.2K  
 agda_2.2.6-7.dsc        06-May-2010 04:02  2.2K  
 agda_2.2.6.orig.tar.gz  07-Jan-2010 19:47  414K  
 agda_2.3.0.1-2.debia..> 26-May-2012 21:32  6.7K  
 agda_2.3.0.1-2.dsc      26-May-2012 21:32  2.3K  
 agda_2.3.0.1-2_all.deb  26-May-2012 21:32   13K  
 agda_2.3.0.1.orig.ta..> 12-Mar-2012 13:32  598K  
 agda_2.4.0.2-2.debia..> 11-Aug-2014 11:28  7.2K  
 agda_2.4.0.2-2.dsc      11-Aug-2014 11:28  3.8K  
 agda_2.4.0.2-2_all.deb  11-Aug-2014 11:28   55K  
 agda_2.4.0.2.orig.ta..> 05-Aug-2014 09:23  889K  
 libghc-agda-dev_2.3...> 27-May-2012 23:02   12M  
 libghc-agda-dev_2.3...> 27-May-2012 21:33   17M  
 libghc-agda-dev_2.3...> 27-May-2012 07:32   18M  
 libghc-agda-dev_2.3...> 26-May-2012 22:32   12M  
 libghc-agda-dev_2.3...> 27-May-2012 05:17   12M  
 libghc-agda-dev_2.3...> 27-May-2012 05:32   12M  
 libghc-agda-dev_2.3...> 26-May-2012 23:47   16M  
 libghc-agda-dev_2.3...> 27-May-2012 07:32   23M  
 libghc-agda-dev_2.3...> 02-Jun-2012 15:17   24M  
 libghc-agda-dev_2.4...> 07-Sep-2014 18:27  9.3M  
 libghc-agda-dev_2.4...> 08-Sep-2014 07:57  9.2M  
 libghc-agda-dev_2.4...> 08-Sep-2014 07:57  9.3M  
 libghc-agda-dev_2.4...> 08-Sep-2014 07:47  9.2M  
 libghc-agda-dev_2.4...> 08-Sep-2014 08:12  9.2M  
 libghc-agda-doc_2.3...> 26-May-2012 21:32  1.7M  
 libghc-agda-doc_2.4...> 11-Aug-2014 11:28  1.9M  
 libghc6-agda-dev_2.2..> 06-May-2010 04:02  9.6M  
 libghc6-agda-dev_2.2..> 06-May-2010 21:47   16M  
 libghc6-agda-dev_2.2..> 06-May-2010 07:17  9.1M  
 libghc6-agda-dev_2.2..> 06-May-2010 06:32  9.6M  
 libghc6-agda-dev_2.2..> 06-May-2010 06:32  9.1M  
 libghc6-agda-dev_2.2..> 06-May-2010 19:47   18M  
 libghc6-agda-dev_2.2..> 06-May-2010 21:47   17M  
 libghc6-agda-dev_2.2..> 06-May-2010 07:17   13M  
 libghc6-agda-dev_2.2..> 06-May-2010 11:50   16M  
 libghc6-agda-dev_2.2..> 12-May-2010 22:47   17M  
 libghc6-agda-doc_2.2..> 06-May-2010 04:02  1.0M