NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342674/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/92rpdjpygbfsd35xmhgjhsfa5zhly2yf-stratego-shell-0.7pre1787917879.drv /nix/store/h60js0j4zyv481522x0z53vh5ryr0kv0-stratego-shell-0.7pre1787917879