NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-nr0a6b8p/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/nawsy6mzg6nyc4ngh83gwqnka6vf040f-stratego-shell.drv /nix/store/wax23d3w9rcnifvp2a8mwqyqgir8qfq5-stratego-shell