isl15: update to 0.19

2018-08-06 21:04:41 +02:00
parent ecd790a33a
commit 2e1c2137da
2 changed files with 3 additions and 3 deletions
--- a/common/shlibs
+++ b/common/shlibs
@@ -1085,7 +1085,7 @@ libsratom-0.so.0 sratom-0.4.0_1
 libmongoose.so.0 libmongoose-3.1_1
 libpwquality.so.1 libpwquality-1.1.1_1
 libisl.so.10 isl-0.10_1
-libisl.so.15 isl15-0.16.1_1
+libisl.so.19 isl15-0.19_1
 libcloog-isl.so.4 cloog-0.18.1_1
 librtmp.so.1 librtmp-2.4.20161210_1
 libORBit-2.so.0 libORBit2-2.14.19_1