Update references to github

diff --git a/.gitmodules b/.gitmodules
index d9caef9..03f11b7 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "libcloogle"]
        path = libcloogle
-       url = https://github.com/clean-cloogle/libcloogle.git
+       url = https://gitlab.science.ru.nl/cloogle/libcloogle.git
 [submodule "clean-selectloop"]
        path = clean-selectloop
        url = https://github.com/dopefishh/clean-selectloop.git

diff --git a/cloogleirc.icl b/cloogleirc.icl
index a8b9494..9edcb80 100644 (file)
--- a/cloogleirc.icl
+++ b/cloogleirc.icl
@@ -83,7 +83,7 @@ cloogle data w
                        = "ABC instruction: " +++ re.abc_instruction
                processResult (ProblemResult pr)
                        = "Common problem: " +++ pr.problem_title
-                               +++ "; see https://github.com/clean-cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"
+                               +++ "; see https://gitlab.science.ru.nl/cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"
 
                limitResults :: String -> String
                limitResults s

diff --git a/libcloogle b/libcloogle
index 60c8eb3..665acb6 160000 (submodule)
--- a/libcloogle
+++ b/libcloogle
@@ -1 +1 @@
-Subproject commit 60c8eb36203bfbac0db3bcb4d0c4d2dbdfa771e9
+Subproject commit 665acb6181353b484790c5e5b1e6edd3026090ed