feat(images.yml): Bump dune version (3.7.1 -> 3.8.1)

Related: coq-community/docker-coq#56
coq-community · Jun 8, 2023 · 8b38925 · 8b38925
1 parent e10cfee
commit 8b38925
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/images.yml b/images.yml
@@ -6,7 +6,7 @@ args:
   OPAM_VERSION: '2.1.3'
   # pass these args albeit they are not used by all Dockerfiles:
   OCAMLFIND_VERSION: '1.9.6'
-  DUNE_VERSION: '3.7.1'
+  DUNE_VERSION: '3.8.1'
   ZARITH_VERSION: '1.12'
   NUM_VERSION: '1.4'
 images: