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
Is there any breaking change in these versions? (e.g. the --confirm-level change gave me some headache last time).
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