update version number of gdb python script

1 files changed, 2 insertions, 2 deletions

diff --git a/PKGBUILD b/PKGBUILD
index e522b95c1b0d..a05c0cca51e7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 
 pkgname=isl-git
 _gitname=isl
-pkgver=0.14.1.496.g47edc76
+pkgver=0.16.1.20.gee54b48
 pkgrel=1
 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (development version)"
 arch=('i686' 'x86_64')
@@ -38,7 +38,7 @@ package() {
   make -j1 DESTDIR="$pkgdir/" install
 
   install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
-  mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.13.1.1-gdb.py
+  mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.15.1.1-gdb.py
 
   install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE
 }