{2023.06} adds a script that loads EESSI-extend and installs it if it is not available yet#812
Closed
trz42 wants to merge 3 commits into
Closed
EESSI-extend and installs it if it is not available yet#812