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

+1 -1

packages/vscoq-language-server/vscoq-language-server.2.0.1+coq8.18/opam

···

       26
       26
        
         "ppx_yojson_conv"

     

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "result" { >= "1.5" }

     

       29
       29
       -
         "lsp" { >= "1.15"}

     

       29
       29
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       30
       30
        
         "sel" {>= "0.4.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       synopsis: "VSCoq language server"

+1 -1

packages/vscoq-language-server/vscoq-language-server.2.0.2+coq8.18/opam

···

       26
       26
        
         "ppx_yojson_conv"

     

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "result" { >= "1.5" }

     

       29
       29
       -
         "lsp" { >= "1.15"}

     

       29
       29
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       30
       30
        
         "sel" {>= "0.4.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       synopsis: "VSCoq language server"

+1 -1

packages/vscoq-language-server/vscoq-language-server.2.0.3+coq8.18/opam

···

       26
       26
        
         "ppx_yojson_conv"

     

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "result" { >= "1.5" }

     

       29
       29
       -
         "lsp" { >= "1.15"}

     

       29
       29
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       30
       30
        
         "sel" {>= "0.4.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       synopsis: "VSCoq language server"

+1 -1

packages/vscoq-language-server/vscoq-language-server.2.1.0+coq8.19/opam

···

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "ppx_optcomp"

     

       29
       29
        
         "result" { >= "1.5" }

     

       30
       30
       -
         "lsp" { >= "1.15"}

     

       30
       30
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       31
       31
        
         "sel" {>= "0.4.0"}

     

       32
       32
        
       ]

     

       33
       33
        
       synopsis: "VSCoq language server"

+1 -1

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

···

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "ppx_optcomp"

     

       29
       29
        
         "result" { >= "1.5" }

     

       30
       30
       -
         "lsp" { >= "1.15"}

     

       30
       30
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       31
       31
        
         "sel" {>= "0.4.0"}

     

       32
       32
        
       ]

     

       33
       33
        
       synopsis: "VSCoq language server"

+1 -1

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

···

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "ppx_optcomp"

     

       29
       29
        
         "result" { >= "1.5" }

     

       30
       30
       -
         "lsp" { >= "1.15"}

     

       30
       30
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       31
       31
        
         "sel" {>= "0.4.0"}

     

       32
       32
        
       ]

     

       33
       33
        
       synopsis: "VSCoq language server"

+1 -1

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

···

       27
       27
        
         "ppx_import"

     

       28
       28
        
         "ppx_optcomp"

     

       29
       29
        
         "result" { >= "1.5" }

     

       30
       30
       -
         "lsp" { >= "1.15"}

     

       30
       30
       +
         "lsp" { >= "1.15" & < "1.19.0" }

     

       31
       31
        
         "sel" {>= "0.4.0"}

     

       32
       32
        
       ]

     

       33
       33
        
       synopsis: "VSCoq language server"