From 9e71a3f77731379ba2be5a521f4e447b80aeae46 Mon Sep 17 00:00:00 2001
From: Guillaume Baudart <guillaume.baudart@inria.fr>
Date: Fri, 8 Jan 2021 14:06:42 +0100
Subject: [PATCH] Update package deps

---
 README.md      | 6 +++---
 zelus-gtk.opam | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index c4d3498c..ec32614a 100644
--- a/README.md
+++ b/README.md
@@ -14,7 +14,7 @@ Continuous-time models are simulated using an off-the-shelf numerical solver (he
 The easiest way to install Zelus is via [Opam](https://opam.ocaml.org/), the OCaml package manager.
 
 ```
-opam install .
+opam install zelus
 ```
 
 You can then test your installation with:
@@ -34,10 +34,10 @@ Some examples also depend on lablgtk (which requires gtk2.0)
 opam install sundialsml lablgtk
 ```
 
-You can then reinstall zelus
+You can then reinstall zelus and the zelus-gtk library
 
 ```
-opam reinstall zelus
+opam reinstall zelus zelus-gtk
 ```
 
 
diff --git a/zelus-gtk.opam b/zelus-gtk.opam
index 40d02855..2b2ff232 100644
--- a/zelus-gtk.opam
+++ b/zelus-gtk.opam
@@ -8,9 +8,9 @@ homepage: "http://zelus.di.ens.fr"
 doc: "http://zelus.di.ens.fr/man/"
 bug-reports: "https://gitlab.inria.fr/parkas/zelus/-/issues"
 depends: [
-  "zelus"
+  "zelus" "lablgtk"
 ]
-depopts: ["lablgtk" "glmlite"]
+depopts: ["glmlite"]
 build: [
   ["dune" "subst"] {pinned}
   [