Stream: math-comp devs

Topic: coq.dev compatibility of 1.12.0 on opam

view this post on Zulip Karl Palmskog (Sep 07 2021 at 15:21):

Can I remove the (= "dev") for the package coq-mathcomp-ssreflect.1.12.0? Since compatibility with Coq master is no longer the case, it can become a mess in a coq.dev based opam environment with 1.12.0 mixed in.

Last updated: Feb 09 2023 at 03:06 UTC