Depend on notty >= 0.2

let-def · Feb 25, 2022 · 4f6c9ea · 4f6c9ea
1 parent 5ab38ed
commit 4f6c9ea
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -19,7 +19,7 @@
  (name nottui)
  (synopsis "UI toolkit for the terminal built on top of Notty and Lwd")
  (documentation "https://let-def.github.io/lwd/doc")
- (depends (lwd (>= 0.2)) notty))
+ (depends (lwd (>= 0.2)) (notty (>= 0.2))))
 
 (package
  (name tyxml-lwd)
@@ -37,10 +37,10 @@
  (name nottui-pretty)
  (synopsis "A pretty-printer based on PPrint rendering UIs")
  (documentation "https://let-def.github.io/lwd/doc")
- (depends notty (nottui (>= 0.2))))
+ (depends (nottui (>= 0.2)) (notty (>= 0.2))))
 
 (package
  (name nottui-lwt)
  (synopsis "Run Nottui UIs in Lwt")
  (documentation "https://let-def.github.io/lwd/doc")
- (depends notty lwt (nottui (>= 0.2))))
+ (depends lwt (nottui (>= 0.2)) (notty (>= 0.2))))
diff --git a/nottui-lwt.opam b/nottui-lwt.opam
@@ -9,9 +9,9 @@ doc: "https://let-def.github.io/lwd/doc"
 bug-reports: "https://github.com/let-def/lwd/issues"
 depends: [
   "dune" {>= "2.7"}
-  "notty"
   "lwt"
   "nottui" {>= "0.2"}
+  "notty" {>= "0.2"}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/nottui-pretty.opam b/nottui-pretty.opam
@@ -9,8 +9,8 @@ doc: "https://let-def.github.io/lwd/doc"
 bug-reports: "https://github.com/let-def/lwd/issues"
 depends: [
   "dune" {>= "2.7"}
-  "notty"
   "nottui" {>= "0.2"}
+  "notty" {>= "0.2"}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/nottui.opam b/nottui.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/let-def/lwd/issues"
 depends: [
   "dune" {>= "2.7"}
   "lwd" {>= "0.2"}
-  "notty"
+  "notty" {>= "0.2"}
   "odoc" {with-doc}
 ]
 build: [