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: Dec 06 2023 at 14:01 UTC