NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343101/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/gkkfwx8grf14gvkmpngqfk736sn194aj-stratego-shell-0.7pre1787917879.drv /nix/store/q6ryk2w8jzzkrczf9rcbsbyxl4bbah01-stratego-shell-0.7pre1787917879