Update coq-of-ocaml.opam

formal-land · Jan 4, 2023 · 00115c3 · 00115c3
1 parent 27cfebc
commit 00115c3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/coq-of-ocaml.opam b/coq-of-ocaml.opam
@@ -2,9 +2,9 @@ version: "dev"
 
 opam-version: "2.0"
 maintainer: "dev@clarus.me"
-homepage: "https://github.com/clarus/coq-of-ocaml"
-dev-repo: "git+https://github.com/clarus/coq-of-ocaml.git"
-bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
+homepage: "https://github.com/formal-land/coq-of-ocaml"
+dev-repo: "git+https://github.com/formal-land/coq-of-ocaml.git"
+bug-reports: "https://github.com/formal-land/coq-of-ocaml/issues"
 authors: ["Guillaume Claret"]
 license: "MIT"
 build: [