diff lib/isl/isl.info @ 1220:4ccc42bf0284

misc: split .sh with .info
author David Demelier <markand@malikania.fr>
date Thu, 30 Sep 2021 09:26:38 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/isl/isl.info	Thu Sep 30 09:26:38 2021 +0200
@@ -0,0 +1,7 @@
+PKGNAME=isl
+PKGVERSION=0.20
+PKGREVISION=1
+PKGLICENSE="MIT"
+PKGSUMMARY="integer set library"
+PKGDOWNLOAD="http://isl.gforge.inria.fr/$PKGNAME-$PKGVERSION.tar.xz"
+PKGDEPENDS="gmp"