Skip to content

Commit 2836532

Browse files
committed
chore: bump to 3.21
Signed-off-by: Rudi Grinberg <[email protected]> <!-- ps-id: 4267c57e-dcfa-495e-bc17-4ef8533b1cdd --> Signed-off-by: Rudi Grinberg <[email protected]>
1 parent f5778c4 commit 2836532

File tree

8 files changed

+12
-12
lines changed

8 files changed

+12
-12
lines changed

doc/coq.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -456,7 +456,7 @@ lang<coq-lang>` stanza present:
456456

457457
.. code:: dune
458458
459-
(lang dune 3.20)
459+
(lang dune 3.21)
460460
(using coq 0.8)
461461
462462
Next we need a :doc:`/reference/dune/index` file with a :ref:`coq-theory`
@@ -687,7 +687,7 @@ the plugin to sit in, otherwise Coq will not be able to find it.
687687

688688
.. code:: dune
689689
690-
(lang dune 3.20)
690+
(lang dune 3.21)
691691
(using coq 0.8)
692692
693693
(package

doc/foreign-code.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ file:
103103

104104
.. code:: dune
105105
106-
(lang dune 3.20)
106+
(lang dune 3.21)
107107
(using ctypes 0.3)
108108
109109

doc/hacking.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -286,7 +286,7 @@ Such languages must be enabled in the ``dune`` project file separately:
286286

287287
.. code:: dune
288288
289-
(lang dune 3.20)
289+
(lang dune 3.21)
290290
(using coq 0.8)
291291
292292
If such extensions are experimental, it's recommended that they pass

doc/instrumentation.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -96,14 +96,14 @@ To enable an instrumentation backend globally, type the following in your
9696

9797
.. code:: dune
9898
99-
(lang dune 3.20)
99+
(lang dune 3.21)
100100
(instrument_with bisect_ppx)
101101
102102
or for each context individually:
103103

104104
.. code:: dune
105105
106-
(lang dune 3.20)
106+
(lang dune 3.21)
107107
(context default)
108108
(context (default (name coverage) (instrument_with bisect_ppx)))
109109
(context (default (name profiling) (instrument_with landmarks)))

doc/melange.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ is enabled:
4242

4343
.. code:: dune
4444
45-
(lang dune 3.20)
45+
(lang dune 3.21)
4646
(using melange 0.1)
4747
4848
Next, write a :doc:`/reference/dune/index` file with a

doc/sites.rst

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ will be installed as a sub-directory.
3434

3535
.. code:: dune
3636
37-
(lang dune 3.20)
37+
(lang dune 3.21)
3838
(using dune_site 0.1)
3939
(name mygui)
4040
@@ -245,7 +245,7 @@ Main Executable (C)
245245

246246
.. code:: dune
247247
248-
(lang dune 3.20)
248+
(lang dune 3.21)
249249
(using dune_site 0.1)
250250
(name app)
251251
@@ -305,7 +305,7 @@ The Plugin "plugin1"
305305

306306
.. code:: dune
307307
308-
(lang dune 3.20)
308+
(lang dune 3.21)
309309
(using dune_site 0.1)
310310
311311
(generate_opam_files true)

otherlibs/dune-rpc/private/types.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ end
2727
module Version = struct
2828
type t = int * int
2929

30-
let latest = 3, 20
30+
let latest = 3, 21
3131

3232
let sexp : t Conv.value =
3333
let open Conv in

test/blackbox-tests/test-cases/dune-init.t/run.t

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -495,7 +495,7 @@ And the opam file will be generated as expected
495495
doc: "https://url/to/documentation"
496496
bug-reports: "https://github.com/username/reponame/issues"
497497
depends: [
498-
"dune" {>= "3.20"}
498+
"dune" {>= "3.21"}
499499
"ocaml"
500500
"odoc" {with-doc}
501501
]

0 commit comments

Comments
 (0)