From 1f11888116d74b814acd1071a2f49523bf2a4aa7 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <vbgl@users.noreply.github.com>
Date: Fri, 13 May 2022 06:47:14 +0200
Subject: Revert "coqPackages: etc"

This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
---
 pkgs/development/coq-modules/CoLoR/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pkgs/development/coq-modules/CoLoR')

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 = {
-- 
cgit 1.4.1