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