NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342266/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/py2crbwqwlvji6cx0zyxx43cfz3s8jrg-stratego-shell-0.7pre1787917879.drv /nix/store/78xl7a1hnj1aqw99qyimgz7zgag15ap4-stratego-shell-0.7pre1787917879