Stream: math-comp devs

Topic: 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 based opam environment with 1.12.0 mixed in.

Last updated: Aug 11 2022 at 02:03 UTC