NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-qxqjlq1b/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/q6ijvvgn4c36cmnqj50yqnmq05vwcjh0-stratego-shell.drv /nix/store/9rc6spn1qk93ksjfl4kc09rjyqdrhrml-stratego-shell