NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-322bd347/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/zwj50sqdqams1lqx8373my73p5bw32bg-stratego-shell.drv /nix/store/98fxkzz89vyk4dcwmm727mqp991f1mdm-stratego-shell