We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5faeb38 commit 5156c7eCopy full SHA for 5156c7e
dune-project
@@ -63,5 +63,5 @@ the Why3 platform.")
63
(yojson (>= 1.6.0))
64
(cmdliner (>= 1.1.0))
65
(stdlib-shims (>= 0.1.0))
66
- lwt_ppx
67
- dream))
+ (lwt_ppx (>= 1.0.0))
+ (dream (>= 1.0.0~alpha1))))
lambdapi.opam
@@ -62,8 +62,8 @@ depends: [
62
"cmdliner" {>= "1.1.0"}
"stdlib-shims" {>= "0.1.0"}
"odoc" {with-doc}
- "dream"
- "lwt_ppx"
+ "dream" {>= "1.0.0~alpha1"}
+ "lwt_ppx" {>= "1.0.0"}
]
68
build: [
69
["dune" "subst"] {dev}
0 commit comments