https://rocq-prover.org/doc/V9.0.0/refman/changes.html#changes-in-9-0-0

I feel this rename is quite a drastic change, so if something stops working,
please open an issue at https://gitlab.alpinelinux.org/alpine/aports/-/issues
(you may also have to temporarily switch to 3.21-stable while things get fixed)