Peter Simons 6d6522d30d coqPackages.category-theory: revert "Add equations as a buildInput" ... This reverts commit 08bf0b7630, which broke Nixpkgs evaluation. Ping @jwiegley.		2018-07-28 09:16:37 +02:00
..
default.nix	coqPackages.category-theory: revert "Add equations as a buildInput"	2018-07-28 09:16:37 +02:00