NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339783/MANIFEST stratego-shell-0.7pre1687216872 i686-linux /nix/store/hq804j4f0h75gjk4czjd03b31yk10gdh-stratego-shell-0.7pre1687216872.drv /nix/store/gyj8xvyzcy9j0hadj3jz0cx7673s1nzm-stratego-shell-0.7pre1687216872