anil.recoil.org / opam-repository
this repo has no description
fork atom

Relax constraints of the VSCoq language server

Matthieu Sozeau 79d48239 fa45b93f

options
unified split
Changed files
+2 -2
packages
vscoq-language-server
vscoq-language-server.2.2.5
opam
+2 -2
packages/vscoq-language-server/vscoq-language-server.2.2.5/opam 
···

       
12

       
12

       
 

       
depends: [


     

       
13

       
13

       
 

       
  "ocaml" { >= "4.14" }


     

       
14

       
14

       
 

       
  "dune" { >= "3.5" }


     

       
15

       

       
-

       
  "coq-core" { ((>= "8.18" < "8.21") | (= "dev")) }


     

       
16

       

       
-

       
  "coq-stdlib" { ((>= "8.18" < "8.21") | (= "dev")) }


     

       

       
15

       
+

       
  "coq-core" { ((>= "8.18" < "9.1") | (= "dev")) }


     

       

       
16

       
+

       
  "coq-stdlib" { ((>= "8.18" < "9.1") | (= "dev")) }


     

       
17

       
17

       
 

       
  "yojson"


     

       
18

       
18

       
 

       
  "jsonrpc" { >= "1.15"}


     

       
19

       
19

       
 

       
  "ocamlfind"