no repository available for repo extras-devel??

[sean]

yum update for extras-devel:

[extras-development]
name=Fedora Extras - Development Tree
mirrorlist=http://mirrors.fedoraproject.org/mirrorlist?repo=extras-devel&arch=$basearch

and indeed:

http://mirrors.fedoraproject.org/mirrorlist?repo=extras-devel&arch=x86_64

gives:

# no repository available for repo extras-devel


yet

  http://mirrors.fedoraproject.org/

shows:

http://mirrors.fedoraproject.org/extras-devel-US-x86_64.txt

which contains a number of mirrors.

??

sean