I have some beagleboard-xm running fedora 13.  I have not been able to find a repo containing player-devel or gearbox-devel.  We have always build player from source, but used the fedora 'devel' packages.  Intuitively, it seems like that should be an option in the player install, but I'm at a loss as to what to do.