NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-ic6zsxhr/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/05s6npsr3iljz2qwfiim886vby3fz7lk-stratego-shell.drv /nix/store/kjd87sj5ml3j2rl5zclmpi17fbqjb7ad-stratego-shell