Index of /haskell/sci-mathematics/agda

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 ChangeLog               20-Aug-2012 22:38  2.3K  
 Manifest                19-Nov-2012 02:15  1.8K  
 agda-1.0.2-r2.ebuild    20-Aug-2012 22:38  1.2K  
 agda-2.2.6-r1.ebuild    20-Aug-2012 22:38  1.3K  
 agda-2.2.6-r2.ebuild    20-Aug-2012 22:38  1.4K  
 agda-2.3.0.1-r1.ebuild  19-Nov-2012 02:15  2.5K  
 agda-2.3.0.ebuild       08-Sep-2012 02:15  2.2K  
 agda-2.3.2-r5.ebuild    03-Apr-2013 02:14  3.1K  
 agda-9999.ebuild        02-Mar-2013 02:13  2.9K  
 files/                  19-Dec-2012 02:14    -   
 metadata.xml            20-Aug-2012 22:38  668