NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342028/MANIFEST stratego-shell-0.7pre1787917879 i686-linux /nix/store/9r88xmbwaaf2pwn2bhn1wz9nya50kzc6-stratego-shell-0.7pre1787917879.drv /nix/store/77mkqx2mlmxjvwrzx6hwfra49sd7kq2l-stratego-shell-0.7pre1787917879