How to use Pack dependencies?

[l-monnier]

For a given buffer, Emacs should call idris2 --find-ipkg so the dependencies of the packages installed with Pack are found. I tried various options but without any success:

• add the --find-ipkg flag to the Idris2 Interpreter Flags
• run the idris2-ipkg-build command on the .ipkg file.

Each time, the packages installed with Pack remain not found (while I have no issues running a REPL from the Terminal).
I don't know if this is an issue or just something that I am missing, but it doesn't seem to be documented.

[gallais]

FYI: you may have more luck asking on the discord (or on the pack project).