Update packages/coq-lsp/coq-lsp.0.2.5+9.0/opam

Co-authored-by: Jan Midtgaard <mail@janmidtgaard.dk>

Author: mseri

packages/coq-lsp/coq-lsp.0.2.5+9.0/opam

@@ -21,6 +21,7 @@ depends: [
 
     ("ocaml" {>= "5.0"} & "ocaml" { < "5.3"}
   | ("ocaml" {>= "4.12"} & "memprof-limits" { >= "0.2.1" } ))
+  "ocaml"       {with-test & >= "4.13"}
 
   "dune"         { >= "3.13.0" } # Version interval [3.8-3.12] was
                                  # broken for composed builds with Coq