[digilent]
name=Fedora repo with Digilent tools
baseurl=http://fedora.danny.cz/digilent/$releasever/$basearch
enabled=1
gpgcheck=0