Require pp.2.0.0

mbarbin · Dec 16, 2024 · 01c0afe · 01c0afe
1 parent c9443bf
commit 01c0afe
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/bopkit-tests.opam b/bopkit-tests.opam
@@ -33,7 +33,7 @@ depends: [
   "mdx" {>= "2.4"}
   "menhir" {>= "20220210"}
   "parsing-utils" {>= "0.2.2"}
-  "pp" {>= "1.2.0"}
+  "pp" {>= "2.0.0"}
   "pp-extended" {>= "0.0.2"}
   "pp-log" {>= "0.0.8"}
   "ppx_compare" {>= "v0.17" & < "v0.18"}

diff --git a/bopkit.opam b/bopkit.opam
@@ -30,7 +30,7 @@ depends: [
   "mdx" {>= "2.4"}
   "menhir" {>= "20220210"}
   "parsing-utils" {>= "0.2.2"}
-  "pp" {>= "1.2.0"}
+  "pp" {>= "2.0.0"}
   "pp-extended" {>= "0.0.2"}
   "pp-log" {>= "0.0.8"}
   "ppx_compare" {>= "v0.17" & < "v0.18"}

diff --git a/dune-project b/dune-project
@@ -82,7 +82,7 @@
   (parsing-utils
    (>= 0.2.2))
   (pp
-   (>= 1.2.0))
+   (>= 2.0.0))
   (pp-extended
    (>= 0.0.2))
   (pp-log
@@ -189,7 +189,7 @@
   (parsing-utils
    (>= 0.2.2))
   (pp
-   (>= 1.2.0))
+   (>= 2.0.0))
   (pp-extended
    (>= 0.0.2))
   (pp-log
@@ -292,7 +292,7 @@
   (parsing-utils
    (>= 0.2.2))
   (pp
-   (>= 1.2.0))
+   (>= 2.0.0))
   (pp-extended
    (>= 0.0.2))
   (pp-log
@@ -405,7 +405,7 @@
   (parsing-utils
    (>= 0.2.2))
   (pp
-   (>= 1.2.0))
+   (>= 2.0.0))
   (pp-extended
    (>= 0.0.2))
   (pp-log

diff --git a/subleq.opam b/subleq.opam
@@ -30,7 +30,7 @@ depends: [
   "mdx" {>= "2.4"}
   "menhir" {>= "20220210"}
   "parsing-utils" {>= "0.2.2"}
-  "pp" {>= "1.2.0"}
+  "pp" {>= "2.0.0"}
   "pp-extended" {>= "0.0.2"}
   "pp-log" {>= "0.0.8"}
   "ppx_compare" {>= "v0.17" & < "v0.18"}

diff --git a/visa.opam b/visa.opam
@@ -30,7 +30,7 @@ depends: [
   "mdx" {>= "2.4"}
   "menhir" {>= "20220210"}
   "parsing-utils" {>= "0.2.2"}
-  "pp" {>= "1.2.0"}
+  "pp" {>= "2.0.0"}
   "pp-extended" {>= "0.0.2"}
   "pp-log" {>= "0.0.8"}
   "ppx_compare" {>= "v0.17" & < "v0.18"}