[Discourse.ros.org] [Packaging and Release Management] Packages.ros.org is out of sync
Thanks for pointing it out. It appears that the mirrors didn't all get the last upload. I've retriggered the mirror sync and all the mirrors are reporting up to date now. If anyone else sees this issue please reply here.