commit a7614300275484c5cd3f8082d80fe8d36f02071d · anil.recoil.org/opam-repository

anil.recoil.org / opam-repository

this repo has no description

fork atom

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

Marcello Seri 1 year ago a7614300 3fac5b0c

options

unified split

Changed files

packages

vscoq-language-server

vscoq-language-server.2.1.7

opam

packages/vscoq-language-server/vscoq-language-server.2.1.7/opam

···

       30
        
         "sel" {>= "0.4.0"}

     

       31
        
       ]

     

       32
        
       synopsis: "VSCoq language server"

     

       0
        
       
     

       33
        
       description: """

     

       34
        
       LSP based language server for Coq and its VSCoq user interface

     

       35
        
       """

···

       30
        
         "sel" {>= "0.4.0"}

     

       31
        
       ]

     

       32
        
       synopsis: "VSCoq language server"

     

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

     

       34
        
       description: """

     

       35
        
       LSP based language server for Coq and its VSCoq user interface

     

       36
        
       """