coosy tags
https://git.ps.informatik.uni-kiel.de/curry-packages/coosy/-/tags
https://git.ps.informatik.uni-kiel.de/curry-packages/coosy/-/tags/v3.0.0
v3.0.0
v3.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/coosy/-/tags/v2.0.0
v2.0.0
v2.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/coosy/-/tags/v1.0.0
v1.0.0
v1.0.0
Michael Hanus