Merge pull request #20 from clean-cloogle/gitlab-move

[cloogle-irc.git] / cloogleirc.icl

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