From 782469aad8d7cd18d35cc9bf6b61520f3910d16c Mon Sep 17 00:00:00 2001
From: Michael Hanus <mh@informatik.uni-kiel.de>
Date: Fri, 26 Apr 2019 15:14:31 +0200
Subject: [PATCH] Change CPM's package URL

---
 cpm/src/CPM/Config.curry | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpm/src/CPM/Config.curry b/cpm/src/CPM/Config.curry
index 7173000a..033c0734 100644
--- a/cpm/src/CPM/Config.curry
+++ b/cpm/src/CPM/Config.curry
@@ -40,7 +40,7 @@ packageIndexDefaultURL =
 --- The default URL prefix to the directory containing tar files of all packages
 packageTarFilesDefaultURL :: String
 packageTarFilesDefaultURL =
-  "https://www-ps.informatik.uni-kiel.de/~pakcs/CPM_PACKAGES/"
+  "https://www.informatik.uni-kiel.de/~curry/cpm/PACKAGES/"
 
 --- Data type containing the main configuration of CPM.
 data Config = Config {
-- 
GitLab