Release 2.4.0 (Deducteam#1005)

fblanqui · Jul 31, 2023 · 94bd815 · 94bd815
1 parent e168936
commit 94bd815
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -3,7 +3,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
-## Unreleased
+## 2.4.0 (2023-07-28)
 
 ### Added
 

diff --git a/dune-project b/dune-project
@@ -63,5 +63,5 @@ the Why3 platform.")
   (yojson (>= 1.6.0))
   (cmdliner (>= 1.1.0))
   (stdlib-shims (>= 0.1.0))
-  lwt_ppx
-  dream))
+  (lwt_ppx (>= 1.0.0))
+  (dream (>= 1.0.0~alpha3))))
diff --git a/lambdapi.opam b/lambdapi.opam
@@ -62,8 +62,8 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}
   "odoc" {with-doc}
-  "dream"
-  "lwt_ppx"
+  "lwt_ppx" {>= "1.0.0"}
+  "dream" {>= "1.0.0~alpha3"}
 ]
 build: [
   ["dune" "subst"] {dev}