Error 404 on URL

[marclajoie123]

The installation command generated the error.

curl https://ciao-lang.org/boot -sSfL | sh
▄▄▄
▄▀ ▀ ▀ ▄▄▄ ▄▄▄ Default stable version: 1.20.0
█ █ █ █ █ █ Detected OS: DARWIN
▀▄▄▄▀ ▀▄▄▀▄▄▀█▄▀▄▄▄▀ Detected architecture: x86_64

Welcome to the interactive network installation for Ciao!
(Press C-c to cancel)

Install the development environment? (yes/no) y
Install local documentation? (no/yes) n
Enable this installation by default? (yes/no) y

Code will be installed under ~/.ciaoroot directory.
The selected installation is reproducible with:

curl https://ciao-lang.org/boot -sSfL | sh -s -- --no-prebuilt get devenv --builder:with_docs=no

(Press enter to continue or C-c to cancel)

fetching ciao () from https://github.com/ciao-lang/ciao/archive/.tar.gz
curl: (22) The requested URL returned error: 404

sh: line 267: /Users/marclajoie/.ciaoroot//builder/sh_boot/builder_boot.sh: No such file or directory
sh: line 267: exec: /Users/marclajoie/.ciaoroot//builder/sh_boot/builder_boot.sh: cannot execute: No such file or directory

[jfmc]

Thanks! It should be fixed now (please reopen the issue if the problem persists).