NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-340029/MANIFEST stratego-shell-0.7pre1687216872 i686-linux /nix/store/9883a0djmh62dsrc0ymilh2i5n7yar4q-stratego-shell-0.7pre1687216872.drv /nix/store/drks22sdmx6zxk9dlwnn7ai93m0zxd4r-stratego-shell-0.7pre1687216872