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