NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343157/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/k3lndhw9gh4fbb63ijvd9qkx9kh2avj1-stratego-shell-0.7pre1787917879.drv /nix/store/m1vab5w6p5fhvc0bffyp18nz20v5k2gi-stratego-shell-0.7pre1787917879