From 8665ac25e37e9772c9c7a4cda744dcc5cb3e7ea6 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Fri, 28 Nov 2025 13:42:33 -0500 Subject: [PATCH 1/2] Update Dune language version to 3.21 Apparently the `(pkg disabled)` does not work correctly on version `3.20`. Signed-off-by: Shon Feder --- doc/howto/use-opam-alongside-dune-package-management.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/howto/use-opam-alongside-dune-package-management.rst b/doc/howto/use-opam-alongside-dune-package-management.rst index 00cbf5a2fc3..9711d5cd8d6 100644 --- a/doc/howto/use-opam-alongside-dune-package-management.rst +++ b/doc/howto/use-opam-alongside-dune-package-management.rst @@ -16,7 +16,7 @@ following contents: .. code:: dune - (lang dune 3.20) + (lang dune 3.21) (pkg disabled) From cbc34a6d5c15eef17545a7cf8370669e286f68f2 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Fri, 28 Nov 2025 17:35:38 -0500 Subject: [PATCH 2/2] Update Dune language version to 3.21 Signed-off-by: Shon Feder --- doc/howto/use-opam-alongside-dune-package-management.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/howto/use-opam-alongside-dune-package-management.rst b/doc/howto/use-opam-alongside-dune-package-management.rst index 9711d5cd8d6..cc35b22319d 100644 --- a/doc/howto/use-opam-alongside-dune-package-management.rst +++ b/doc/howto/use-opam-alongside-dune-package-management.rst @@ -31,7 +31,7 @@ file: .. code:: dune - (lang dune 3.20) + (lang dune 3.21) (pkg enabled)