NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343100/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/a3c62w1c5zd6k51jly89qi7b3250qmqd-stratego-shell-0.7pre1787917879.drv /nix/store/2gfhd7qw4grqzbw3nzz8x0q0vx0b4vgy-stratego-shell-0.7pre1787917879