From 6d6522d30d1c05126e5f53d9996637475d1ac75d Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Sat, 28 Jul 2018 09:16:37 +0200 Subject: coqPackages.category-theory: revert "Add equations as a buildInput" This reverts commit 08bf0b7630afa8656bb36bd61fac8ce9b2aff613, which broke Nixpkgs evaluation. Ping @jwiegley. --- pkgs/development/coq-modules/category-theory/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/development/coq-modules') diff --git a/pkgs/development/coq-modules/category-theory/default.nix b/pkgs/development/coq-modules/category-theory/default.nix index a5e4dd92116..795c177bc80 100644 --- a/pkgs/development/coq-modules/category-theory/default.nix +++ b/pkgs/development/coq-modules/category-theory/default.nix @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { }; buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ]; - propagatedBuildInputs = [ coq ssreflect equations ]; + propagatedBuildInputs = [ coq ssreflect ]; enableParallelBuilding = false; -- cgit 1.4.1