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