Stream: Coq devs & plugin devs

Topic: upstream changes for num

view this post on Zulip Karl Palmskog (Dec 19 2022 at 10:42):

@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 8.13 image:

  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]

view this post on Zulip Erik Martin-Dorel (Dec 19 2022 at 14:15):

Sure! Thanks a lot @Karl Palmskog :+1:
I'm away from keyboard now, but I'll take care of this tonight.
Thanks again!

view this post on Zulip Erik Martin-Dorel (Dec 20 2022 at 14:32):

@Karl Palmskog just FYI, all images from both coqorg/base and coqorg/coq have been rebuilt.
— Let me know if you see something else that looks weird.

Last updated: Apr 20 2024 at 10:02 UTC