cass tags
https://git.ps.informatik.uni-kiel.de/curry-packages/cass/-/tags
https://git.ps.informatik.uni-kiel.de/curry-packages/cass/-/tags/v3.0.1
v3.0.1
v3.0.1
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/cass/-/tags/v3.0.0
v3.0.0
v3.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/cass/-/tags/v2.0.0
v2.0.0
v2.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/cass/-/tags/v0.0.1
v0.0.1
v0.0.1
Michael Hanus