[CentOS] Debuginfo RPMs for gcc-4.1.2-44.el5

Hi,

I'm trying to troubleshoot a problem with an application, and I need
the debuginfo RPMs for gcc.  (The symbols for libstdc++ are in there.)
I recently upgraded one machine to CentOS 5.3, and this installed
gcc-4.1.2-44.el5.  However, there isn't any corresponding debuginfo
RPM on the mirror:

[kMDIAG at vm01 rql_mdiag]$ links -dump http://debuginfo.centos.org/5/i386/ | grep -i gcc-debuginfo-4.1.2-
 [1088][   ] [1089]gcc-debuginfo-4.1.2-14.el5.i386.rpm
 09-Nov-2007 23:47   80M
 [1090][   ] [1091]gcc-debuginfo-4.1.2-42.el5.i386.rpm
 26-May-2008 22:56   81M
1089. http://debuginfo.centos.org/5/i386/gcc-debuginfo-4.1.2-14.el5.i386.rpm
1091. http://debuginfo.centos.org/5/i386/gcc-debuginfo-4.1.2-42.el5.i386.rpm

I assume that the debuginfo RPMs got generated at the same time as the
gcc RPM was built in January, but I can't think of a reason why they
might not be on the mirrors.  Is there something wrong with the mirror
infrastructure?