It lacks a library: https://gitlab.com/coq/coq/-/jobs/3790149551
Oups my fault, I had put a process to ensure this doesn't happen, however I read the docker image list of packages wrong it seems :S
Last updated: Jun 05 2023 at 09:01 UTC