Pin transitive dependency Notty

lukstafi · lukstafi · commit 61df542c2316 · 2025-11-28T14:14:30.000+01:00
Signed-off-by: lukstafi &lt;lukstafi@users.noreply.github.com&gt;
diff --git a/arrayjit.opam b/arrayjit.opam
@@ -33,6 +33,7 @@ depends: [
   "ppx_string"
   "ppx_variants_conv"
   "ppx_expect"
+  "notty-community" {>= "2.4.0"}
   "ppx_minidebug" {>= "3.0.0"}
   "metal" {os = "macos"}
   "odoc" {with-doc}
@@ -63,4 +64,5 @@ dev-repo: "git+https://github.com/lukstafi/ocannl.git"
 x-maintenance-intent: ["(latest)"]
 pin-depends: [
   ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git"]
 ]
diff --git a/arrayjit.opam.template b/arrayjit.opam.template
@@ -1,3 +1,4 @@
 pin-depends: [
   ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git"]
 ]
diff --git a/dune-project b/dune-project
@@ -70,6 +70,8 @@
   ppx_string
   ppx_variants_conv
   ppx_expect
+  (notty-community
+   (>= 2.4.0))
   (ppx_minidebug
    (>= 3.0.0))
   (metal
@@ -132,6 +134,8 @@
   ppx_string
   ppx_variants_conv
   ppx_expect
+  (notty-community
+   (>= 2.4.0))
   (ppx_minidebug
    (>= 3.0.0))
   (odoc :with-doc)
diff --git a/neural_nets_lib.opam b/neural_nets_lib.opam
@@ -39,6 +39,7 @@ depends: [
   "ppx_string"
   "ppx_variants_conv"
   "ppx_expect"
+  "notty-community" {>= "2.4.0"}
   "ppx_minidebug" {>= "3.0.0"}
   "odoc" {with-doc}
   "md2mld" {with-doc}
@@ -64,4 +65,5 @@ dev-repo: "git+https://github.com/lukstafi/ocannl.git"
 x-maintenance-intent: ["(latest)"]
 pin-depends: [
   ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git"]
 ]
diff --git a/neural_nets_lib.opam.template b/neural_nets_lib.opam.template
@@ -1,3 +1,4 @@
 pin-depends: [
   ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
`1`	`1`	`pin-depends: [`
`2`	`2`	`["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git"]`
	`3`	`+ ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git"]`
`3`	`4`	`]`