NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18583-i573smdl/MANIFEST strategoxt-0.17pre18583 i686-linux /nix/store/r5z6bs9rz5v7idnl71rjn5jyadqnxc6y-strategoxt.drv /nix/store/vzpfy7pn4x1kbkwvbj1rx83zp2vqp32i-strategoxt