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