Merge pull request #27438 from backtracking/hashset-relaxed-ocaml-version

hashset: updated opam file

Author: mseri

packages/hashset/hashset.1.0.0/opam

@@ -1,9 +1,9 @@
 opam-version: "2.0"
-maintainer: "Jean-Christophe.Filliatre@lri.fr"
+maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
 authors: ["Jean-Christophe Filliâtre"]
-homepage: "https://www.lri.fr/~filliatr/software.en.html"
-bug-reports: "https://github.com/UnixJunkie/hashset/issues"
-dev-repo: "git+https://github.com/UnixJunkie/hashset.git"
+homepage: "https://github.com/backtracking/hashset"
+bug-reports: "https://github.com/backtracking/hashset/issues"
+dev-repo: "https://github.com/backtracking/hashset"
 license: "LGPL-2.1-only"
 build: [
   ["obuild" "configure"]