From 9e4942d5723a7d6a1f4182bdaf3acb5cd8276377 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Fri, 2 Oct 2020 15:49:36 +0200
Subject: [PATCH] [new release] ocamlgraph_gtk and ocamlgraph (2.0.0)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

CHANGES:

- port to dune and opam 2.0
  - :exclamation: 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)
  - :exclamation: [Coloring] functions now fail if the graph is directed
  - :exclamation: [Coloring] now uses a single, global exception [NoColoring]
  - [Coloring] new function two_color to 2-color a graph (or fail)
  - :exclamation: [Fixpoint] Take initial labeling of nodes into account (Johannes Kloos)
---
 packages/ocamlgraph/ocamlgraph.2.0.0/opam     | 47 +++++++++++++++++
 .../ocamlgraph_gtk/ocamlgraph_gtk.2.0.0/opam  | 50 +++++++++++++++++++
 2 files changed, 97 insertions(+)
 create mode 100644 packages/ocamlgraph/ocamlgraph.2.0.0/opam
 create mode 100644 packages/ocamlgraph_gtk/ocamlgraph_gtk.2.0.0/opam

diff --git a/packages/ocamlgraph/ocamlgraph.2.0.0/opam b/packages/ocamlgraph/ocamlgraph.2.0.0/opam
new file mode 100644
index 00000000000..9f9a3283740
--- /dev/null
+++ b/packages/ocamlgraph/ocamlgraph.2.0.0/opam
@@ -0,0 +1,47 @@
+opam-version: "2.0"
+synopsis: "A generic graph library for OCaml"
+description: "Provides both graph data structures and graph algorithms"
+maintainer: ["filliatr@lri.fr"]
+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"
+  "stdlib-shims"
+  "dune" {>= "2.0"}
+]
+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"
+  ]
+}
diff --git a/packages/ocamlgraph_gtk/ocamlgraph_gtk.2.0.0/opam b/packages/ocamlgraph_gtk/ocamlgraph_gtk.2.0.0/opam
new file mode 100644
index 00000000000..578c8ca956e
--- /dev/null
+++ b/packages/ocamlgraph_gtk/ocamlgraph_gtk.2.0.0/opam
@@ -0,0 +1,50 @@
+opam-version: "2.0"
+synopsis: "Displaying graphs using OCamlGraph and GTK"
+description: "Displaying graphs using OCamlGraph and GTK"
+maintainer: ["filliatr@lri.fr"]
+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"
+  "stdlib-shims"
+  "lablgtk"
+  "conf-gnomecanvas"
+  "ocamlgraph"
+  "dune" {>= "2.0"}
+]
+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"
+  ]
+}