build: correct links in the OPAM file

RedPRL · Dec 28, 2022 · e59bc8f · e59bc8f
1 parent 06fb36d
commit e59bc8f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/mugen.opam b/mugen.opam
@@ -7,9 +7,9 @@ This package implements the generalization of Conor McBride’s crude but effect
 maintainer: "favonia <favonia@gmail.com>"
 authors: "The RedPRL Development Team"
 license: "Apache-2.0"
-homepage: "https://github.com/RedPRL/makubex"
-bug-reports: "https://github.com/RedPRL/makubex/issues"
-dev-repo: "git+https://github.com/RedPRL/makubex.git"
+homepage: "https://github.com/RedPRL/mugen"
+bug-reports: "https://github.com/RedPRL/mugen/issues"
+dev-repo: "git+https://github.com/RedPRL/mugen.git"
 depends: [
   "dune" {>= "2.0"}
   "ocaml" {>= "4.13"}