From fc3c9447da6cded0b6741cf3e6c2386c16493440 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Wed, 7 Apr 2021 19:43:09 +0200 Subject: 20210407.1 global branch merge. Signed-off-by: Matteo Bernardini --- libraries/isl/isl.info | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 libraries/isl/isl.info (limited to 'libraries/isl/isl.info') diff --git a/libraries/isl/isl.info b/libraries/isl/isl.info deleted file mode 100644 index 1784d2ae24..0000000000 --- a/libraries/isl/isl.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="isl" -VERSION="0.18" -HOMEPAGE="http://isl.gforge.inria.fr" -DOWNLOAD="http://isl.gforge.inria.fr/isl-0.18.tar.xz" -MD5SUM="5337cd4c29101fe8e8e1b0f5948f91e2" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="" -MAINTAINER="Jan F. Chadima" -EMAIL="jfch@jagda.eu" -- cgit v1.2.3