From 2dc3552aa1435ed556b7b9f92779a2310e7fcb31 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@inria.fr>
Date: Sat, 1 Oct 2022 16:42:29 +0200
Subject: coqPackages.mkCoqDerivation: upgrade to Dune 3

And remove the version number from the corresponding attributes.
---
 pkgs/development/coq-modules/addition-chains/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pkgs/development/coq-modules/addition-chains')

diff --git a/pkgs/development/coq-modules/addition-chains/default.nix b/pkgs/development/coq-modules/addition-chains/default.nix
index 8de9a8e411cd..63ba0e805072 100644
--- a/pkgs/development/coq-modules/addition-chains/default.nix
+++ b/pkgs/development/coq-modules/addition-chains/default.nix
@@ -19,7 +19,7 @@ mkCoqDerivation {
 
   propagatedBuildInputs = [ mathcomp-ssreflect mathcomp-algebra mathcomp-fingroup paramcoq ];
 
-  useDune2 = true;
+  useDune = true;
 
   meta = {
     description = "Exponentiation algorithms following addition chains";
-- 
cgit 1.4.1