Downloading Curry2Go

All distributed versions of the Curry2Go system

Version Linux command to download and install this version
Version 1.2.0 (2023-11-01)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2023-11-01-1.2.0-download.sh | sh
Version 1.1.0 (2023-03-14)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2023-03-14-1.1.0-download.sh | sh
Version 1.1.0 (2023-02-17)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2023-02-17-1.1.0-download.sh | sh
Version 1.1.0 (2022-12-16)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2022-12-16-1.1.0-download.sh | sh
Version 1.1.0 (2022-11-25)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2022-11-25-1.1.0-download.sh | sh
Version 1.0.1 (2022-02-07)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2022-02-07-1.0.1-download.sh | sh
Version 1.0.0 (2021-10-08)curl -sSL https://www-ps.informatik.uni-kiel.de/curry2go/download/2021-10-08-1.0.0-download.sh | sh