NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343610/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/f7vqy4dna96l8rj93w2sh6gqv69ajhg8-stratego-shell-0.7pre1787917879.drv /nix/store/381d8rfvl31y1yvldwk5j4na5zkz8d01-stratego-shell-0.7pre1787917879