diff options
Diffstat (limited to 'pkgs/development/coq-modules/math-classes/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/math-classes/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/math-classes/default.nix b/pkgs/development/coq-modules/math-classes/default.nix index 2504e852bafda..0a78191d8b728 100644 --- a/pkgs/development/coq-modules/math-classes/default.nix +++ b/pkgs/development/coq-modules/math-classes/default.nix @@ -9,7 +9,7 @@ with lib; mkCoqDerivation { release."8.13.0".sha256 = "1ln7ziivfbxzbdvlhbvyg3v30jgblncmwcsam6gg3d1zz6r7cbby"; release."8.15.0".sha256 = "10w1hm537k6jx8a8vghq1yx12rsa0sjk2ipv3scgir71ln30hllw"; - propagatedBuildInputs = [ bignums ]; + extraBuildInputs = [ bignums ]; meta = { homepage = "https://math-classes.github.io"; |