mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-03-21 21:42:17 +01:00
7e049a153a
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)