NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343156/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/7nd9ssypw2ghf8kqbvw7a9c0dlii3inq-stratego-shell-0.7pre1787917879.drv /nix/store/q0dz0s1dj2pxgksyk2wnhh5r6n8d2d31-stratego-shell-0.7pre1787917879