[opam] Fix URLs for non-official releases

ejgallego · Nov 20, 2022 · 73ce752 · 73ce752
1 parent 704f2b3
commit 73ce752
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/coq-lsp.opam b/coq-lsp.opam
@@ -5,14 +5,14 @@ Language Server Protocol native server for Coq
 """
 opam-version: "2.0"
 maintainer: "[email protected]"
-bug-reports: "https://github.com/coq/coq-lsp/issues"
-homepage: "https://github.com/coq/coq-lsp"
-dev-repo: "git+https://github.com/coq/coq-lsp.git"
+bug-reports: "https://github.com/ejgallego/coq-lsp/issues"
+homepage: "https://github.com/ejgallego/coq-lsp"
+dev-repo: "git+https://github.com/ejgallego/coq-lsp.git"
 authors: [
   "Emilio Jesús Gallego Arias <[email protected]>"
 ]
 license: "LGPL-2.1"
-doc: "https://coq.github.io/coq-lsp/"
+doc: "https://ejgallego.github.io/coq-lsp/"
 
 depends: [
   "ocaml"        { >= "4.13.1" }