NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-nr0a6b8p/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/4g9xxy2km2h4pfnf3d1yllqd1r8x8xd8-stratego-shell.drv /nix/store/pxdqg6hs0r6pb6r2sy9g2d1hz2n3pi95-stratego-shell