NameLast modifiedSizeDescription
Parent Directory  -  
patches/2010-05-08 10:02 -  
gecode-3.3.1-1.fc13.src.rpm2010-06-24 12:14 1.3M 
gecode-3.3.1-1.fc13.x86_64.rpm2010-06-24 12:14 1.9M 
gecode-debuginfo-3.3.1-1.fc13.x86_64.rpm2010-06-24 12:18 21M 
gecode-devel-3.3.1-1.fc13.x86_64.rpm2010-06-24 12:18 417K 
gecode-doc-3.3.1-1.fc13.noarch.rpm2010-06-24 12:19 6.0M 
gecode-examples-3.3.1-1.fc13.noarch.rpm2010-06-24 12:19 368K 
gecode.spec2010-05-17 16:03 3.2K