NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17805-ridi3l52/MANIFEST strategoxt-0.17pre17805 i686-linux /nix/store/q7zqlfn99wm0vrnp7pd70774wxqxcly1-strategoxt.drv /nix/store/w71jzx84cspx27f13vx5a2ns62dqlslq-strategoxt