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