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