diff --git a/ocaml/hacl-star-raw.opam b/ocaml/hacl-star-raw.opam index ce77fcd8..597ffcce 100644 --- a/ocaml/hacl-star-raw.opam +++ b/ocaml/hacl-star-raw.opam @@ -11,8 +11,8 @@ which `hacl-star-raw` is a dependency. maintainer: "Victor Dumitrescu " authors: [ "Project Everest" ] license: "Apache-2.0" -homepage: "https://hacl-star.github.io/" -bug-reports: "https://github.com/project-everest/hacl-star/issues" +homepage: "https://tech.cryspen.com/hacl-packages/" +bug-reports: "https://github.com/cryspen/hacl-packages/issues" depends: [ "ocaml" { >= "4.08.0" } "dune" {>= "1.2"} @@ -36,4 +36,4 @@ build: [ install: [ [make "-C" "hacl-star-raw" "install"] ] -dev-repo: "git+https://github.com/project-everest/hacl-star.git" +dev-repo: "git+https://github.com/cryspen/hacl-packages.git" diff --git a/ocaml/hacl-star/hacl-star.opam b/ocaml/hacl-star/hacl-star.opam index b3ae34f8..503d0e8d 100644 --- a/ocaml/hacl-star/hacl-star.opam +++ b/ocaml/hacl-star/hacl-star.opam @@ -9,9 +9,9 @@ Documentation for this library can be found maintainer: "Victor Dumitrescu " authors: [ "Project Everest" ] license: "Apache-2.0" -homepage: "https://hacl-star.github.io/" +homepage: "https://tech.cryspen.com/hacl-packages/" doc: "https://tech.cryspen.com/hacl-packages/ocaml/main/index.html" -bug-reports: "https://github.com/project-everest/hacl-star/issues" +bug-reports: "https://github.com/cryspen/hacl-packages/issues" depends: [ "ocaml" { >= "4.08.0" } "dune" {>= "1.2"} @@ -38,4 +38,4 @@ build: [ "@doc" {with-doc} ] ] -dev-repo: "git+https://github.com/project-everest/hacl-star.git" +dev-repo: "git+https://github.com/cryspen/hacl-packages.git"