NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343594/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/w6lpp3cgy8226ls0fx6iq3fhclhmb4hv-stratego-shell-0.7pre1787917879.drv /nix/store/q8vy1p9lhaa8z7r5388ib2zmfrpha4gx-stratego-shell-0.7pre1787917879