NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342252/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/126kgkfzq3hd454976ib8fbab1460g2h-stratego-shell-0.7pre1787917879.drv /nix/store/pm2lc200ch5nd4y7v0jamwnznlyfrmvr-stratego-shell-0.7pre1787917879