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: Aug 11 2022 at 02:03 UTC