spicey tags
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v4.2.0
v4.2.0
v4.2.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v4.1.0
v4.1.0
v4.1.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v4.0.0
v4.0.0
v4.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v2.0.0
v2.0.0
v2.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v2.1.0
v2.1.0
v2.1.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v3.4.0
v3.4.0
v3.4.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v3.3.0
v3.3.0
v3.3.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v3.2.0
v3.2.0
v3.2.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v3.1.0
v3.1.0
v3.1.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v3.0.0
v3.0.0
v3.0.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v1.1.0
v1.1.0
v1.1.0
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry-packages/spicey/-/tags/v1.0.0
v1.0.0
v1.0.0
Michael Hanus