[new release] ocamlgraph_gtk and ocamlgraph (2.0.0) (#17344)

* [new release] ocamlgraph_gtk and ocamlgraph (2.0.0)

CHANGES:

- port to dune and opam 2.0
  - ❗ opam package now split into two packages: ocamlgraph and ocamlgraph_gtk
  - [WeakTopological] fixed incorrect use of generic hash tables
    (backtracking/ocamlgraph#99, Tomáš Dacík)
  - [Oper] fixed transitive_reduction (backtracking/ocamlgraph#91)
  - fix incorrect uses of polymorphic equality (Steffen Smolka, Boris Yakobowski)
  - [Coloring] fixed generation of OCamlDoc documentation
    (contributed by Earnestly)
  - ❗ [Coloring] functions now fail if the graph is directed
  - ❗ [Coloring] now uses a single, global exception [NoColoring]
  - [Coloring] new function two_color to 2-color a graph (or fail)
  - ❗ [Fixpoint] Take initial labeling of nodes into account (Johannes Kloos)

* ocamlgraph.2.0.0: added depends graphics with-test

* ocamlgraph_gtk.2.0.0: added depends graphics with-test

* ocamlgraph 2.0.0 requires OCaml >= 4.03.0

* added a constraint 'ocamlgraph <= 1.8.8'

* better constraints (suggested by David Allsopp)

packages/dose3/dose3.5.0.1/opam

@@ -28,7 +28,7 @@ remove: [
 ]
 depends: [
   "ocaml"
-  "ocamlgraph" {>= "1.8.6"}
+  "ocamlgraph" {>= "1.8.6" & < "2.0.0"}
   "cudf" {>= "0.7"}
   "conf-perl" {build}
   "extlib" {>= "1.7.0"} | "extlib-compat" {>= "1.7.0"}

packages/llvmgraph/llvmgraph.0.2/opam

@@ -24,7 +24,7 @@ depends: [
   "ocaml" {>= "4.01.0"}
   "ocamlfind" {build}
   "llvm" {>= "3.6"}
-  "ocamlgraph" {>= "1.8.5"}
+  "ocamlgraph" {>= "1.8.5" & < "2.0.0"}
   "ocamlbuild" {build}
   "conf-clang" {with-test}
 ]

packages/not-ocamlfind/not-ocamlfind.0.07/opam

@@ -13,7 +13,7 @@ depends: [
   "fmt" {>= "0.8.8"}
   "sexplib" {>= "v0.13.0"}
   "rresult" {>= "0.6.0"}
-  "ocamlgraph" {>= "1.8.8"}
+  "ocamlgraph" {>= "1.8.8" & < "2.0.0"}
 ]
 build: [
   ["./configure" "-bindir" bin "-sitelib" lib "-mandir" man "-config" "%{lib}%/findlib.conf" "-no-custom" "-no-topfind" {preinstalled}]

packages/ocamlgraph/ocamlgraph.2.0.0/opam

@@ -0,0 +1,48 @@
+opam-version: "2.0"
+synopsis: "A generic graph library for OCaml"
+description: "Provides both graph data structures and graph algorithms"
+maintainer: ["[email protected]"]
+authors: ["Sylvain Conchon" "Jean-Christophe Filliâtre" "Julien Signoles"]
+license: "LGPL-2.1-only"
+tags: [
+  "graph"
+  "library"
+  "algorithms"
+  "directed graph"
+  "vertice"
+  "edge"
+  "persistent"
+  "imperative"
+]
+homepage: "https://github.com/backtracking/ocamlgraph/"
+bug-reports: "https://github.com/backtracking/ocamlgraph/issues/new"
+depends: [
+  "ocaml" {>= "4.03.0"}
+  "stdlib-shims"
+  "dune" {>= "2.0" & !with-test | >= "2.8"}
+  "graphics" {with-test}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"
+x-commit-hash: "f97d342db06ccdbc11354303b5f225ae433f7ef3"
+url {
+  src:
+    "https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz"
+  checksum: [
+    "sha256=20fe267797de5322088a4dfb52389b2ea051787952a8a4f6ed70fcb697482609"
+    "sha512=c4973ac03bdff52d1c8a1ed01c81e0fbe2f76486995e57ff4e4a11bcc7b1793556139d52a81ff14ee8c8de52f1b40e4bd359e60a2ae626cc630ebe8bccefb3f1"
+  ]
+}

packages/ocamlgraph_gtk/ocamlgraph_gtk.2.0.0/opam

@@ -0,0 +1,51 @@
+opam-version: "2.0"
+synopsis: "Displaying graphs using OCamlGraph and GTK"
+description: "Displaying graphs using OCamlGraph and GTK"
+maintainer: ["[email protected]"]
+authors: ["Sylvain Conchon" "Jean-Christophe Filliâtre" "Julien Signoles"]
+license: "LGPL-2.1-only"
+tags: [
+  "graph"
+  "library"
+  "algorithms"
+  "directed graph"
+  "vertice"
+  "edge"
+  "persistent"
+  "imperative"
+]
+homepage: "https://github.com/backtracking/ocamlgraph/"
+bug-reports: "https://github.com/backtracking/ocamlgraph/issues/new"
+depends: [
+  "ocaml" {>= "4.03.0"}
+  "stdlib-shims"
+  "lablgtk"
+  "conf-gnomecanvas"
+  "ocamlgraph"
+  "dune" {>= "2.0" & !with-test | >= "2.8"}
+  "graphics" {with-test}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"
+x-commit-hash: "f97d342db06ccdbc11354303b5f225ae433f7ef3"
+url {
+  src:
+    "https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz"
+  checksum: [
+    "sha256=20fe267797de5322088a4dfb52389b2ea051787952a8a4f6ed70fcb697482609"
+    "sha512=c4973ac03bdff52d1c8a1ed01c81e0fbe2f76486995e57ff4e4a11bcc7b1793556139d52a81ff14ee8c8de52f1b40e4bd359e60a2ae626cc630ebe8bccefb3f1"
+  ]
+}

packages/opam-lib/opam-lib.1.3.1/opam

@@ -20,7 +20,7 @@ build: [
 ]
 depends: [
   "ocaml"
-  "ocamlgraph"
+  "ocamlgraph" {< "2.0.0"}
   "cmdliner"
   "dose3" {>= "5.0"}
   "cudf"

packages/why3/why3.1.2.1/opam

@@ -54,7 +54,7 @@ depends: [
 depopts: [
   "zarith"
   "camlzip"
-  "ocamlgraph"
+  "ocamlgraph" {< "1.8.8"}
 ]
 
 conflicts: [