Are the coq contribs no longer maintained? https://github.com/coq-contribs/coq-contribs has no branches past v8.9, and https://github.com/coq-contribs/persistent-union-find, for example, doesn't seem to be tested on Coq's CI
Coq contribs are not maintained actively anymore. Hugo Herbelin updates some of them from time to time when he finds the time or interest. When community members express interest toward a specific contrib, we propose to them to become their new maintainer as part of coq-community. More than 20 contribs have been transferred to coq-community like this now. Being the maintainer of a former contrib is not a big commitment as you can step down at any time. If you'd be interested in maintaining persistent-union-find, do not hesitate to open an issue at https://github.com/coq-community/manifesto/issues.
Last updated: Nov 29 2023 at 17:01 UTC