This is a project of high value to the Coq community. To help it achieve better visibility and thus stay more up to date, you might consider moving the project to coq-community. In particular, besides link updates, community members can help with setting up continuous integration of the Coq files that live in the repo.
This is a project of high value to the Coq community. To help it achieve better visibility and thus stay more up to date, you might consider moving the project to coq-community. In particular, besides link updates, community members can help with setting up continuous integration of the Coq files that live in the repo.
So please consider opening an issue about a transfer.
See also the coq-community documentation for contributing a package.