NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342294/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/xd3hy0f7l95ymwrhsw1l7a7c2mwfinja-stratego-shell-0.7pre1787917879.drv /nix/store/d6sfm664s7ybm3vz7wxl5x67byxzsi9y-stratego-shell-0.7pre1787917879