NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342279/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/l9mas60wzir0pingr5qgqvr5wbgb8ias-stratego-shell-0.7pre1787917879.drv /nix/store/pl686psaz4s1sqid14jhcca0092csjps-stratego-shell-0.7pre1787917879