oslib removed from Packman?

I recently got a Pi 400 (Hooray for Pi Day discounts!) and decided to make it my main RISC OS system instead of the Pi 3 I had been running on.

Unfortunately when trying to get my development environment up and running on the new system I noticed that oslib is not in any of the Packman repositories anymore? I also added the riscos.info repository (http://riscos.info/packages/pkg/autobuilt) thinking it could have come from that one, but no luck there either. Does anybody know what happened to it? While I can just grab it from the SourceForge site, it was pretty convenient grabbing it from PackMan.

OSLib is downloaded from the www.riscpkg.org indexes. That was down recently. I think it’s back up now so can you see if it reappears. You will need to do an update lists in PackMan.

Thanks Alan! After updating my lists I was able to see all the missing packages. I don’t see risckpkg.org in my sources list but apparently it still pulls packages from there? I haven’t looked at the package index file format yet, can you simply point the entry to another server that hosts the actual file in the index, instead of a relative URL from the current index?