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 cass-analysis https://git.ps.informatik.uni-kiel.de/curry-packages/cass-analysis.git v0.0.4 cass https://git.ps.informatik.uni-kiel.de/curry-packages/cass.git v0.0.1 abstract-curry https://git.ps.informatik.uni-kiel.de/curry-packages/abstract-curry.git v1.0.0 flatcurry https://git.ps.informatik.uni-kiel.de/curry-packages/flatcurry.git v1.0.0 xml https://git.ps.informatik.uni-kiel.de/curry-packages/xml.git v0.0.1