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