Index of /pub/opensuse/repositories/systemsmanagement:/chef:/shared/openSUSE_13.2/i586/

../
gecode-3.7.3-5.1.i586.rpm                          02-Feb-2015 23:47             3115109
gecode-devel-3.7.3-5.1.i586.rpm                    02-Feb-2015 23:47              586408