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

Update packages/vscoq-language-server/vscoq-language-server.2.2.0/opam

Co-authored-by: Romain Tetley <romain.tetley@inria.fr>

vscoqbot 3d2f95a3 fa6a65f1

options
unified split
Changed files
+1
packages
vscoq-language-server
vscoq-language-server.2.2.0
opam
+1
packages/vscoq-language-server/vscoq-language-server.2.2.0/opam 
···

       
30

       
30

       
 

       
  "sel" {>= "0.4.0"}


     

       
31

       
31

       
 

       
]


     

       
32

       
32

       
 

       
synopsis: "VSCoq language server"


     

       

       
33

       
+

       
available: arch != "arm32" & arch != "x86_32"


     

       
33

       
34

       
 

       
description: """


     

       
34

       
35

       
 

       
LSP based language server for Coq and its VSCoq user interface


     

       
35

       
36

       
 

       
"""