NameLast modifiedSizeDescription
Parent Directory  -  
idris-1.3.0-3.fc28.src.rpm2018-06-29 07:19 1.9M 
idris-1.3.0-2.fc28.src.rpm2018-06-26 04:05 1.9M 
idris-1.3.0-1.fc28.src.rpm2018-06-26 04:04 1.0M 
idris-0.9.8-3.fc19.src.rpm2013-07-10 04:00 290K 
idris-0.9.8-2.fc19.src.rpm2013-07-08 10:15 290K 
idris-0.9.8-1.fc19.src.rpm2013-07-01 15:03 290K 
idris-0.9.7-2.fc18.src.rpm2013-04-06 03:53 239K 
idris.spec2018-06-29 07:19 8.3K