Fedora

Name                        Last modified      Size  
Parent Directory                                 -   
Agda-2.3.0.1-1.fc17.src.rpm 10-Jul-2012 08:18  5.0K  
Agda.spec                   10-Jul-2012 08:18  1.4K  

The Fedora Project is maintained and driven by the community and sponsored by Red Hat. This is a community maintained site. Red Hat is not responsible for content.

• Legal
• Trademark Guidelines