TODO for myself This new Spago is not yet in NixPkgs. It should be possible to use the Flake to package Spago for NixPkgs. The Flake currently doesn't build Spago afaik. This is also needed.