can't find package idris2 when running make bootstrap

[dvc94ch]

No description provided.

[JankaGramofonomanka]

It looks like I have experienced the same problem so I will describe it in more detail.

After cloning the repository, when I try to execute make bootstrap I get this:

mkdir -p build
(cd Base/Color && idris2 --build Bootstrap.ipkg --build-dir ../../build)
Uncaught error: Can't find package idris2 (any)
Makefile:11: recipe for target 'bootstrap' failed
make: *** [bootstrap] Error 1

[Z-snails]

You need to install the idris2api package from the idris2 repo. Instructions for doing this are linked from this repo's README.md.
https://github.com/idris-lang/Idris2/blob/main/INSTALL.md point 8