NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339719/MANIFEST stratego-shell-0.7pre1687216872 i686-linux /nix/store/6qn2sh7sx30y2nva52z3b17hmrb3bl0q-stratego-shell-0.7pre1687216872.drv /nix/store/gkd2whnw6abplhv40gs9gs6ms9091za8-stratego-shell-0.7pre1687216872