curry-tools tagshttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tagshttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v3.3.0v3.3.0Release version v3.3.0Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v2.2.0v2.2.0v2.2.0Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v2.1.0v2.1.0v2.1.0Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v2.0.2v2.0.2for PAKCS 2.0.2Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v2.0.1v2.0.1Updated version with type classesMichael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v2.0.0v2.0.0Initial version for PAKCS2Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v1.0.3v1.0.3v1.0.3Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v1.0.2v1.0.2v1.0.2 for PAKCS 1.14.2Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v1.0.1v1.0.1v1.0.1Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/tags/v1.0.0v1.0.0Version 1.0.0Michael Hanus