NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-iqy4invg/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/npl3cj8in07rkaqilf3lk9yg6dhlk7l1-stratego-shell.drv /nix/store/1c2ibvdg1wsrqsgxycif1vdwanjk17sv-stratego-shell