[tools] name=tools type=rpm-md baseurl=https://download.tizen.org/tools/archive/13.05.1/Fedora_17 enabled=1 gpgcheck=0