Skip to content

GitLab

Commit 782469aa authored by Michael Hanus 's avatar Michael Hanus
Browse files
Options

Change CPM's package URL

parent 0b9702b7
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
cpm/src/CPM/Config.curry
View file @ 782469aa
...@@ -40,7 +40,7 @@ packageIndexDefaultURL = ...@@ -40,7 +40,7 @@ packageIndexDefaultURL =
--- The default URL prefix to the directory containing tar files of all packages --- The default URL prefix to the directory containing tar files of all packages
packageTarFilesDefaultURL :: String packageTarFilesDefaultURL :: String
packageTarFilesDefaultURL = 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 type containing the main configuration of CPM.
data Config = Config { data Config = Config {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment