NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343101/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/bd0vsng6mvj06l2hbwr3cpxmphshw0q0-stratego-shell-0.7pre1787917879.drv /nix/store/i0gynw3zryxvnfzbmb1gagrkiv5awwc0-stratego-shell-0.7pre1787917879