archive index not updating
gares opened this issue · 4 comments
gares commented
Hello, #24889 was merged 20 hours ago but I still don't see the package (after doing a opam update).
mseri commented
It is back! Thanks for the notification
samwgoldman commented
Is this happening again? The latest package by date is vscoq-language-server, which this issue is about. It seems like nothing merged since then has been published?
gares commented
I confirm the index is again outdated
mseri commented
Sorry I just saw the notifications. It should be back by now