Dear SL devels,

I hope this is the right place to ask.
I just thought I will renew our Xen guests with 5.6, and after a fresh 
install, I have been unable to install kernel-xen-devel. I have tried a yum 
clean all with no luck.

Aug 09 16:57 [root@ppwn04:yum.repos.d]# uname -a
Linux ppwn04.lcg.cscs.ch 2.6.18-238.9.1.el5xen #1 SMP Tue Apr 12 19:17:57 EDT 
2011 x86_64 x86_64 x86_64 GNU/Linux

I can see the file in the repository:
http://ftp.scientificlinux.org/linux/scientific/56/x86_64/SL/kernel-xen-
devel-2.6.18-238.9.1.el5.x86_64.rpm

But a yum search does not help.
Aug 09 16:58 [root@ppwn04:yum.repos.d]# yum search kernel-xen-devel
Loaded plugins: kernel-module
EGI-trustanchors |  951 B     00:00     
EGI-trustanchors/primary  |  29 kB     00:00     
EGI-trustanchors |  197/197
UMD-1-base | 1.9 kB     00:00     
UMD-1-base/primary_db | 132 kB     00:00     
UMD-1-updates | 1.9 kB     00:00     
UMD-1-updates/primary_db |  32 kB     00:00     
sl-base | 2.1 kB     00:00     
sl-base/primary_db | 2.1 MB     00:02     
sl-security | 1.9 kB     00:00     
sl-security/primary_db | 116 kB     00:00     
Excluding Packages in global exclude list
Finished
Warning: No matches found for: kernel-xen-devel
No Matches found


And of course yum install does not work either. The repo file looks fine to 
me:

Aug 09 16:54 [root@ppwn04:yum.repos.d]# cat /etc/yum.repos.d/sl.repo 
[sl-base]
name=SL 5 base
baseurl=http://ftp1.scientificlinux.org/linux/scientific/56/$basearch/SL
                http://ftp2.scientificlinux.org/linux/scientific/56/$basearch/SL
                ftp://ftp.scientificlinux.org/linux/scientific/56/$basearch/SL
#mirrorlist=ftp://ftp.scientificlinux.org/linux/scientific/mirrorlist/sl-
base-56.txt
enabled=1
gpgcheck=0
# To use priorities you must have yum-priorities installed
priority=10
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-sl file:///etc/pki/rpm-gpg/RPM-GPG-
KEY-sl5 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-csieh file:///etc/pki/rpm-gpg/RPM-
GPG-KEY-dawson file:///etc/pki/rpm-gpg/RPM-GPG-KEY-jpolok file:///etc/pki/rpm-
gpg/RPM-GPG-KEY-cern file:///etc/pki/rpm-gpg/RPM-GPG-KEY-CentOS-5


How do I know if a a package is really provided by the repository?

I also see many other devel packages, but not the one I'm looking for.
Aug 09 16:56 [root@ppwn04:yum.repos.d]# yum search devel | wc
   1271    9102   78548


I did some tests and it seems this is also happening in SL5.4. The package is 
manually installable, but aparently not with yum.

Any ideas would be highly apreciated.
Thanks a lot,
Pablo Fernandez