Commit e30b6d4e authored by Michael Hanus 's avatar Michael Hanus

Source location modified

parent 9065d893
......@@ -8,7 +8,7 @@
"boxes": ">= 0.0.1"
},
"source": {
"git": "ssh://git@git.ps.informatik.uni-kiel.de:55055/joo/opt-parse.git",
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/opt-parse.git",
"tag": "$version"
}
}
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