/sci-mathematics/kodkod/files/
../
kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch