@Erik Martin-Dorel there has been some update to the
num package (probably because of the release of OCaml 5). This means that every Docker image which uses
num reinstalls num and therefore many versions of Coq, such as 8.13.2. Could you do a refresh of the affected images?
Example snippet from job for
The following actions will be performed: - recompile num 1.4* [upstream or system changes] - recompile sexplib v0.14.0 [uses num] - recompile coq 8.13.2* [uses num] - recompile coq-serapi 8.13.0+0.13.1 [uses coq, sexplib] - recompile coq-bignums 8.13.0 [uses coq]
Sure! Thanks a lot @Karl Palmskog :+1:
I'm away from keyboard now, but I'll take care of this tonight.
@Karl Palmskog just FYI, all images from both
coqorg/coq have been rebuilt.
— Let me know if you see something else that looks weird.
Last updated: Nov 29 2023 at 06:01 UTC