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