0001-Do-not-require-dep-selector-libgecode.patch
0002-Port-to-libgecode-4.0-Closes-710104.patch
0003-Do-not-set-rpath.patch
0004-Make-it-solve-2.0-compatible.patch
0005-Make-tests-rspec3-compatible.patch
0006-Search-for-dep_gecode.so-in-vendorarchdir.patch
