From 54d3863f4487caf692625d6d85d083f03915b05a Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 18 Jan 2020 10:16:11 +0100 Subject: 20200118.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