NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-322bd347/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/8dlgcpchfbm8ynyknlq1x11wx1ib6yyj-stratego-shell.drv /nix/store/219w4r7x3i38z7k2iyqrifzkix41m5sm-stratego-shell