Commit 5ba4c694 authored by Michael Hanus 's avatar Michael Hanus

vendor locations changed

parent 6f882d65
boxes https://git.ps.informatik.uni-kiel.de/joo/boxes.git v0.0.2
opt-parse https://git.ps.informatik.uni-kiel.de/joo/opt-parse.git v0.0.3
det-parse https://git.ps.informatik.uni-kiel.de/joo/det-parse.git v0.0.1
json https://git.ps.informatik.uni-kiel.de/joo/json.git v0.0.2
boxes https://git.ps.informatik.uni-kiel.de/curry-packages/boxes.git v0.0.2
opt-parse https://git.ps.informatik.uni-kiel.de/curry-packages/opt-parse.git v0.0.3
det-parse https://git.ps.informatik.uni-kiel.de/curry-packages/det-parse.git v0.0.1
json https://git.ps.informatik.uni-kiel.de/curry-packages/json.git v0.0.3
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