Commit 856a4ff0 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.extructures: fix dependency

parent b2af5ff2

pkgs/development/coq-modules/extructures/default.nix

+2 −1
Original line number Diff line number Diff line
@@ -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;

  })