isl: rebuild for metadata

This commit is contained in:
Piotr Wójcik 2018-10-23 17:09:05 +02:00 committed by Helmut Pozimski
parent 1e00947817
commit 6b9251da51
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
# Template file for 'isl'
pkgname=isl
version=0.12.2
revision=1
revision=2
bootstrap=yes
build_style=gnu-configure
makedepends="gmp-devel"