Index of /funtoo/sci-mathematics/agda

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Manifest                19-Nov-2012 02:15  1.0K  
 agda-1.0.2-r2.ebuild    24-Aug-2012 17:46  1.2K  
 agda-2.2.6-r1.ebuild    24-Aug-2012 17:46  1.3K  
 agda-2.3.0.1-r1.ebuild  19-Nov-2012 02:15  2.6K  
 agda-2.3.0.1.ebuild     13-Sep-2012 02:15  2.1K  
 agda-2.3.0.ebuild       13-Sep-2012 02:15  2.3K  
 agda-2.3.2-r2.ebuild    29-Dec-2012 02:14  3.0K  
 agda-2.3.2-r5.ebuild    03-Apr-2013 02:15  3.2K  
 agda-2.3.2.ebuild       19-Nov-2012 02:15  2.8K  
 files/                  29-Dec-2012 02:14    -   
 metadata.xml            24-Aug-2012 17:46  668