From 193d86ca621a5a920b91b67ff09818bab29204ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Mon, 31 Jul 2023 14:08:58 +0200
Subject: [PATCH] require dream >= 1.0.0~alpha3

---
 dune-project  | 2 +-
 lambdapi.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index 4f73ec941..f121ff6e5 100644
--- a/dune-project
+++ b/dune-project
@@ -64,4 +64,4 @@ the Why3 platform.")
   (cmdliner (>= 1.1.0))
   (stdlib-shims (>= 0.1.0))
   (lwt_ppx (>= 1.0.0))
-  (dream (>= 1.0.0~alpha1))))
+  (dream (>= 1.0.0~alpha3))))
diff --git a/lambdapi.opam b/lambdapi.opam
index e7de2dcc6..3b8b24a96 100644
--- a/lambdapi.opam
+++ b/lambdapi.opam
@@ -62,8 +62,8 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}
   "odoc" {with-doc}
-  "dream" {>= "1.0.0~alpha1"}
   "lwt_ppx" {>= "1.0.0"}
+  "dream" {>= "1.0.0~alpha3"}
 ]
 build: [
   ["dune" "subst"] {dev}