Hi, this introduces an sobump from libisl.so.13 to libisl.so.15. That requires to add version 0.14.x to the compat-isl package (which exists already). Will you please do that and send an updated patch? This can be a small patchset or all in one commit. Best, -Michael On Sat, 2016-03-26 at 10:30 +0100, Alexander Marx wrote: > Signed-off-by: Alexander Marx > --- >  isl/isl.nm | 2 +- >  1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/isl/isl.nm b/isl/isl.nm > index be80f99..07c19b0 100644 > --- a/isl/isl.nm > +++ b/isl/isl.nm > @@ -4,7 +4,7 @@ >  ############################################################################# > ## >   >  name       = isl > -version    = 0.14.1 > +version    = 0.16.1 >  release    = 1 >   >  groups     = System/Libraries