NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-341854/MANIFEST stratego-shell-0.7pre1770517705 i686-linux /nix/store/nmg8rl999r1hi96afp3w6habsjgj50xw-stratego-shell-0.7pre1770517705.drv /nix/store/slfn6gpmid4r6j6nlmhrxd4cfqqz7w9b-stratego-shell-0.7pre1770517705