NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-322bd347/MANIFEST stratego-shell-0.7pre1787917879 i686-darwin /nix/store/wi784zgx7j7hd9kklz68vq8ifxscr312-stratego-shell.drv /nix/store/njwv84lcvk6z7i5bl7icnzyccv7nfdjv-stratego-shell