List of files which have been downloaded from the "devel" incoming: ProofGeneral-3.7.1-alt1.src.rpm SpamOracle-1.4-alt1.src.rpm aria2-0.16.2-alt1.src.rpm shc-3.8.6-alt1.src.rpm snort-2.4.5-alt4.src.rpm tuareg-mode-1.45.6-alt1.src.rpm wordnet-3.0-alt3.src.rpm