From 856a4ff055604d1321ca4bb3940fa04a19114ff8 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 28 Feb 2025 08:49:35 +0100
Subject: [PATCH] coqPackages.extructures: fix dependency

---
 pkgs/development/coq-modules/extructures/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix
index 2b5f43f31698..1cad85918b43 100644
--- a/pkgs/development/coq-modules/extructures/default.nix
+++ b/pkgs/development/coq-modules/extructures/default.nix
@@ -75,5 +75,6 @@
   (o: {
     propagatedBuildInputs =
       o.propagatedBuildInputs
-      ++ lib.optional (lib.versionAtLeast o.version "0.3.0") deriving;
+      ++ lib.optional (lib.versionAtLeast o.version "0.3.0"
+                       || o.version == "dev") deriving;
   })