Allow for Rocq 9.2 in opam files

[affeldt-aist]

analysis/rocq-mathcomp-classical.opam

Line 18 in b185302

"rocq-core" { (>= "9.0" & < "9.2~") | (= "dev") }