NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343157/MANIFEST stratego-shell-0.7pre1787917879 i686-darwin /nix/store/jh3a6zvrn29zr78akf8i4w0z0xrzh2bl-stratego-shell-0.7pre1787917879.drv /nix/store/z7606k37jyjly0facfqa5jn7ramq7l2b-stratego-shell-0.7pre1787917879