NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17686-0cim15yq/MANIFEST strategoxt-0.17M3pre17686 x86_64-linux /nix/store/h76waricx13bw0v5h8rj522clnbv3880-strategoxt.drv /nix/store/iig82lmdvzsdj7z8v98q9kaxcz6q0i3p-strategoxt