Stream: coq-community devs & users

Topic: latest opam (2.1.3) and dune (3.4.1) in docker-coq

view this post on Zulip Erik Martin-Dorel (Aug 29 2022 at 11:37):

Hi all, just a small heads-up about Docker-Coq:
I rebuilt all images (including math-comp ones),
to migrate to opam 2.1.3 and dune 3.4.1

view this post on Zulip Matthieu Sozeau (Sep 05 2022 at 13:02):

Is there any breaking change in these versions? (e.g. the --confirm-level change gave me some headache last time).

view this post on Zulip Karl Palmskog (Sep 05 2022 at 13:07):

the --confirm-level stuff was a manual change by me and Erik (to allow automatic depext installs). I didn't see any changes like that this time.

Last updated: Jun 03 2023 at 18:01 UTC