Skip to content

Commit

Permalink
Update zarith.opam and relocate it to the mirage organization
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Jan 14, 2022
1 parent 7e895c5 commit ab890ee
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions zarith.opam
Expand Up @@ -6,9 +6,9 @@ authors: [
"Xavier Leroy"
"Pascal Cuoq"
]
homepage: "https://github.com/ocaml/Zarith"
bug-reports: "https://github.com/ocaml/Zarith/issues"
dev-repo: "git+https://github.com/ocaml/Zarith.git"
homepage: "https://github.com/mirage/Zarith"
bug-reports: "https://github.com/mirage/Zarith/issues"
dev-repo: "git+https://github.com/mirage/Zarith.git"
build: [
["dune" "build" "-p" "zarith" ]
]
Expand Down

0 comments on commit ab890ee

Please sign in to comment.