diff --git a/coq-of-ocaml.opam b/coq-of-ocaml.opam
index 7f2b4bf7..bd9f3eaa 100644
--- 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: [