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;
   })