this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26310 from voodoos/release-lsp-1.19.0

[new release] lsp (3 packages) (1.19.0)

authored by

Marcello Seri and committed by
GitHub
aa1f56e0 9271bbb5

+183 -7
+47
packages/jsonrpc/jsonrpc.1.19.0/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "Jsonrpc protocol implemenation" 3 + description: "See https://www.jsonrpc.org/specification" 4 + maintainer: ["Rudi Grinberg <me@rgrinberg.com>"] 5 + authors: [ 6 + "Andrey Popp <8mayday@gmail.com>" 7 + "Rusty Key <iam@stfoo.ru>" 8 + "Louis Roché <louis@louisroche.net>" 9 + "Oleksiy Golovko <alexei.golovko@gmail.com>" 10 + "Rudi Grinberg <me@rgrinberg.com>" 11 + "Sacha Ayoun <sachaayoun@gmail.com>" 12 + "cannorin <cannorin@gmail.com>" 13 + "Ulugbek Abdullaev <ulugbekna@gmail.com>" 14 + "Thibaut Mattio <thibaut.mattio@gmail.com>" 15 + "Max Lantas <mnxndev@outlook.com>" 16 + ] 17 + license: "ISC" 18 + homepage: "https://github.com/ocaml/ocaml-lsp" 19 + bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" 20 + depends: [ 21 + "dune" {>= "3.0"} 22 + "ocaml" {>= "4.08"} 23 + "odoc" {with-doc} 24 + ] 25 + dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git" 26 + build: [ 27 + ["dune" "subst"] {dev} 28 + [ 29 + "dune" 30 + "build" 31 + "-p" 32 + name 33 + "-j" 34 + jobs 35 + "@install" 36 + "@doc" {with-doc} 37 + ] 38 + ] 39 + url { 40 + src: 41 + "https://github.com/ocaml/ocaml-lsp/releases/download/1.19.0/lsp-1.19.0.tbz" 42 + checksum: [ 43 + "sha256=e783d9f1a7f89ce1bf4c9148aa34a228368bd149bbcca43de80b459221dee5ec" 44 + "sha512=85c233a7a14d38e76b3d28694054b04fb818290d2c4c009e7ce189040e2aab570ee0caaf1a826b064fb1595f29b696932daea9f6812d3dfa9b6f0387e02e254b" 45 + ] 46 + } 47 + x-commit-hash: "45f5ddac12bb580b4ecaec2d93ee7fac2c903aff"
+57
packages/lsp/lsp.1.19.0/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "LSP protocol implementation in OCaml" 3 + description: """ 4 + 5 + Implementation of the LSP protocol in OCaml. It is designed to be as portable as 6 + possible and does not make any assumptions about IO. 7 + """ 8 + maintainer: ["Rudi Grinberg <me@rgrinberg.com>"] 9 + authors: [ 10 + "Andrey Popp <8mayday@gmail.com>" 11 + "Rusty Key <iam@stfoo.ru>" 12 + "Louis Roché <louis@louisroche.net>" 13 + "Oleksiy Golovko <alexei.golovko@gmail.com>" 14 + "Rudi Grinberg <me@rgrinberg.com>" 15 + "Sacha Ayoun <sachaayoun@gmail.com>" 16 + "cannorin <cannorin@gmail.com>" 17 + "Ulugbek Abdullaev <ulugbekna@gmail.com>" 18 + "Thibaut Mattio <thibaut.mattio@gmail.com>" 19 + "Max Lantas <mnxndev@outlook.com>" 20 + ] 21 + license: "ISC" 22 + homepage: "https://github.com/ocaml/ocaml-lsp" 23 + bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" 24 + depends: [ 25 + "dune" {>= "3.0"} 26 + "jsonrpc" {= version} 27 + "yojson" 28 + "ppx_yojson_conv_lib" {>= "v0.14"} 29 + "cinaps" {with-test} 30 + "ppx_expect" {>= "v0.15.0" & < "0.17.0" & with-test} 31 + "uutf" {>= "1.0.2"} 32 + "odoc" {with-doc} 33 + "ocaml" {>= "4.14"} 34 + ] 35 + dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git" 36 + build: [ 37 + ["dune" "subst"] {dev} 38 + [ 39 + "dune" 40 + "build" 41 + "-p" 42 + name 43 + "-j" 44 + jobs 45 + "@install" 46 + "@doc" {with-doc} 47 + ] 48 + ] 49 + url { 50 + src: 51 + "https://github.com/ocaml/ocaml-lsp/releases/download/1.19.0/lsp-1.19.0.tbz" 52 + checksum: [ 53 + "sha256=e783d9f1a7f89ce1bf4c9148aa34a228368bd149bbcca43de80b459221dee5ec" 54 + "sha512=85c233a7a14d38e76b3d28694054b04fb818290d2c4c009e7ce189040e2aab570ee0caaf1a826b064fb1595f29b696932daea9f6812d3dfa9b6f0387e02e254b" 55 + ] 56 + } 57 + x-commit-hash: "45f5ddac12bb580b4ecaec2d93ee7fac2c903aff"
+72
packages/ocaml-lsp-server/ocaml-lsp-server.1.19.0/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "LSP Server for OCaml" 3 + description: "An LSP server for OCaml." 4 + maintainer: ["Rudi Grinberg <me@rgrinberg.com>"] 5 + authors: [ 6 + "Andrey Popp <8mayday@gmail.com>" 7 + "Rusty Key <iam@stfoo.ru>" 8 + "Louis Roché <louis@louisroche.net>" 9 + "Oleksiy Golovko <alexei.golovko@gmail.com>" 10 + "Rudi Grinberg <me@rgrinberg.com>" 11 + "Sacha Ayoun <sachaayoun@gmail.com>" 12 + "cannorin <cannorin@gmail.com>" 13 + "Ulugbek Abdullaev <ulugbekna@gmail.com>" 14 + "Thibaut Mattio <thibaut.mattio@gmail.com>" 15 + "Max Lantas <mnxndev@outlook.com>" 16 + ] 17 + license: "ISC" 18 + homepage: "https://github.com/ocaml/ocaml-lsp" 19 + bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" 20 + depends: [ 21 + "dune" {>= "3.0"} 22 + "yojson" 23 + "base" {>= "v0.16.0"} 24 + "lsp" {= version} 25 + "jsonrpc" {= version} 26 + "re" {>= "1.5.0"} 27 + "ppx_yojson_conv_lib" {>= "v0.14"} 28 + "dune-rpc" {>= "3.4.0"} 29 + "chrome-trace" {>= "3.3.0"} 30 + "dyn" 31 + "stdune" 32 + "fiber" {>= "3.1.1" & < "4.0.0"} 33 + "ocaml" {>= "5.2.0"} 34 + "xdg" 35 + "ordering" 36 + "dune-build-info" 37 + "spawn" 38 + "astring" 39 + "camlp-streams" 40 + "ppx_expect" {>= "v0.15.0" & < "0.17.0" & with-test} 41 + "ocamlformat" {with-test & = "0.26.2"} 42 + "ocamlc-loc" {>= "3.7.0"} 43 + "pp" {>= "1.1.2"} 44 + "csexp" {>= "1.5"} 45 + "ocamlformat-rpc-lib" {>= "0.21.0"} 46 + "odoc" {with-doc} 47 + "merlin-lib" {>= "5.0" & < "6.0"} 48 + "ocaml-index" {>= "1.0" & post} 49 + ] 50 + dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git" 51 + build: [ 52 + ["dune" "subst"] {dev} 53 + [ 54 + "dune" 55 + "build" 56 + "-p" 57 + name 58 + "-j" 59 + jobs 60 + "@install" 61 + "@doc" {with-doc} 62 + ] 63 + ] 64 + url { 65 + src: 66 + "https://github.com/ocaml/ocaml-lsp/releases/download/1.19.0/lsp-1.19.0.tbz" 67 + checksum: [ 68 + "sha256=e783d9f1a7f89ce1bf4c9148aa34a228368bd149bbcca43de80b459221dee5ec" 69 + "sha512=85c233a7a14d38e76b3d28694054b04fb818290d2c4c009e7ce189040e2aab570ee0caaf1a826b064fb1595f29b696932daea9f6812d3dfa9b6f0387e02e254b" 70 + ] 71 + } 72 + x-commit-hash: "45f5ddac12bb580b4ecaec2d93ee7fac2c903aff"
+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 - "lsp" { >= "1.15"} 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 - "lsp" { >= "1.15"} 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 - "lsp" { >= "1.15"} 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 - "lsp" { >= "1.15"} 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 - "lsp" { >= "1.15"} 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 - "lsp" { >= "1.15"} 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 - "lsp" { >= "1.15"} 30 + "lsp" { >= "1.15" & < "1.19.0" } 31 31 "sel" {>= "0.4.0"} 32 32 ] 33 33 synopsis: "VSCoq language server"