Adapt the version filter on run-test in the OPAM file

Author: pi8027

coq-stablesort.opam

@@ -53,8 +53,8 @@ slices in the input."""
 
 build: [make "-j%{jobs}%"]
 # The filter below has been added by hand to avoid running the test suite with
-# Coq 8.17.
-run-test: [ [make "-j%{jobs}%" "build-misc" ] { coq:version < "8.17~" | "8.18~" <= coq:version } ]
+# MathComp <= 2.2.
+run-test: [ [make "-j%{jobs}%" "build-misc" ] { "2.3~" <= coq-mathcomp-ssreflect:version } ]
 install: [make "install"]
 depends: [
   "coq" {>= "8.13"}