isl15: upsteam moved to sourceforge.

This commit is contained in:
Leah Neukirchen 2021-10-08 18:15:27 +02:00
parent b2d04215bf
commit b23d464777

View file

@ -1,7 +1,7 @@
# Template file for 'isl15'
pkgname=isl15
version=0.19
revision=2
revision=3
wrksrc="isl-${version}"
bootstrap=yes
build_style=gnu-configure
@ -9,8 +9,8 @@ makedepends="gmp-devel"
short_desc="Integer Set Library"
maintainer="Orphaned <orphan@voidlinux.org>"
license="MIT"
homepage="http://freecode.com/projects/isl"
distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
homepage="https://libisl.sourceforge.io/"
distfiles="${SOURCEFORGE_SITE}/libisl/isl-${version}.tar.bz2"
checksum=d59726f34f7852a081fbd3defd1ab2136f174110fc2e0c8d10bb122173fa9ed8
post_install() {