Index of /gentoo/sci-mathematics/coq

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 ChangeLog               15-Apr-2013 11:01   12K  
 Manifest                15-Apr-2013 11:01  6.7K  
 coq-8.3_p1.ebuild       05-Oct-2011 20:54  2.1K  
 coq-8.3_p2.ebuild       24-Mar-2012 15:01  3.1K  
 coq-8.3_p3.ebuild       24-Mar-2012 15:01  3.1K  
 coq-8.3_p4.ebuild       24-Aug-2012 16:01  2.2K  
 coq-8.4.ebuild          06-Oct-2012 23:31  2.1K  
 coq-8.4_p1.ebuild       15-Apr-2013 11:01  2.0K  
 files/                  15-Jan-2013 20:31    -   
 metadata.xml            06-Oct-2012 23:31  899