From 0e6cd548af17db3ebb792a738329771b769568bc Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Tue, 23 Apr 2024 11:06:18 +0200 Subject: [PATCH] fix: Downgrade dune version (3.14.0 -> 3.13.1) href: https://github.com/coq/opam/pull/3011#issuecomment-2071367951 --- images.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/images.yml b/images.yml index 9d84942..9683d60 100644 --- a/images.yml +++ b/images.yml @@ -6,7 +6,7 @@ args: OPAM_VERSION: '2.1.5' # pass these args albeit they are not used by all Dockerfiles: OCAMLFIND_VERSION: '1.9.6' - DUNE_VERSION: '3.14.0' + DUNE_VERSION: '3.13.1' ZARITH_VERSION: '1.12' NUM_VERSION: '1.4' images: