On 2017-07-13 13:49, Achim Gratz wrote:
> Yaakov Selkowitz writes:
>> It looks like GCC 6 would benefit from an update of isl to 0.16.1 (but
>> NOT newer).  This would be an ABI bump of libisl to 15, so existing GCC
>> 5 builds would not be affected, as long as we aren't planning any more
>> (and I sure hope we can move on at this point).  Achim, if JonY agrees,
>> would you be able to bump this?
> 
> If you've confirmed that this is the exact version gcc6 needs, then yes.
> Alternatively, Jon could take over the package to sync with any gcc
> updates, since I believe gcc is the only user anyway.

JonY?

-- 
Yaakov