diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-05-13 06:47:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-13 06:47:14 +0200 |
commit | 1f11888116d74b814acd1071a2f49523bf2a4aa7 (patch) | |
tree | 0c32d4aa2f6a64762b18860aa6dc2a780b2209b8 /pkgs/development/coq-modules/CoLoR | |
parent | 215235cce56b0a7322d52e6a94e65ec59dc83b7d (diff) |
Revert "coqPackages: etc"
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
Diffstat (limited to 'pkgs/development/coq-modules/CoLoR')
-rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix index 0fdcb49d73008..9270609c6b2fa 100644 --- a/pkgs/development/coq-modules/CoLoR/default.nix +++ b/pkgs/development/coq-modules/CoLoR/default.nix @@ -20,7 +20,7 @@ with lib; mkCoqDerivation { release."1.4.0".rev = "168c6b86c7d3f87ee51791f795a8828b1521589a"; release."1.4.0".sha256 = "1d2whsgs3kcg5wgampd6yaqagcpmzhgb6a0hp6qn4lbimck5dfmm"; - propagatedBuildInputs = [ bignums ]; + extraBuildInputs = [ bignums ]; enableParallelBuilding = false; meta = { |