Fedora People

Name	Last modified	Size
Parent Directory		-
Agda-2.3.0.1-1.fc17.src.rpm	2012-07-10 08:18	5.0K
Agda.spec	2012-07-10 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

Fedora

Navigation