NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343544/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/q74b1yygcn0azhfvigck6ci1bpq0ak63-stratego-shell-0.7pre1787917879.drv /nix/store/2w1jqybnbdzfm64n6lz3sp1ivbyddy4f-stratego-shell-0.7pre1787917879