List of files which have been downloaded from the "devel" incoming: coq-8.0pl3-alt2.src.rpm dangerdeep-0.2.0-alt1.src.rpm dangerdeep-data-0.2.0-alt1.src.rpm vdr-1.4.4-alt1.src.rpm vdr-dvd-0.3.6_cvs20061203-alt1.src.rpm vdr-femon-1.1.0-alt1.src.rpm vdr-mp3-0.9.15-alt1.src.rpm