NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-341757/MANIFEST stratego-shell-0.7pre1770517705 i686-linux /nix/store/lw11xghw2a9d3b6irhw40q22frpgb3pd-stratego-shell-0.7pre1770517705.drv /nix/store/l7nbq4cx12nqmdn1bx3pxlazwb5qj826-stratego-shell-0.7pre1770517705