diff --git a/images.yml b/images.yml index 7083118..995ae4e 100644 --- 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: