1 files changed, 2 insertions, 0 deletions
diff --git a/extra/ghdl/PKGBUILD b/extra/ghdl/PKGBUILD
new file mode 100644
index 00000000..4a8f7879
--- /dev/null
+++ b/extra/ghdl/PKGBUILD
@@ -0,0 +1,2 @@
+source[6]='isl-0.23.tar.xz::https://downloads.sourceforge.net/project/libisl/isl-0.24.tar.xz?ts=gAAAAABhojIcYmUfplFkh4GCklCNjXe6c5A561-eOrQD92l7Dd9Lw5vOoApEOzfk2XL8NElrqvTKrH0enBWHiWCznbwG1pkAaQ%3D%3D&r=https%3A%2F%2Fsourceforge.net%2Fprojects%2Flibisl%2Ffiles%2Fisl-0.23.tar.xz%2Fdownload%3Fuse_mirror%3Ddeac-fra%26download%3D%26failedmirror%3Ddeac-riga.dl.sourceforge.net'
+