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 |