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

../
gecode-3.7.3-5.1.x86_64.rpm                        02-Feb-2015 23:47             3179436
gecode-devel-3.7.3-5.1.x86_64.rpm                  02-Feb-2015 23:47              586373