NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-vq89yxw2/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/v5qz08vi23mxi9knb9sblcfhzjbbyscw-stratego-shell.drv /nix/store/d8bdc9gc0dqgajp8xddysb7krhzwml00-stratego-shell