diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-07-27 16:15:50 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-07-27 16:17:09 -0700 |
| commit | 08bf0b7630afa8656bb36bd61fac8ce9b2aff613 (patch) | |
| tree | 7fc7f223fd02444cb081a8926af008f2d8540f9f /pkgs/development/coq-modules | |
| parent | 368cca9f19de661deb03943f25ee02e9287cf63b (diff) | |
| download | nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.tar nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.tar.gz nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.tar.bz2 nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.tar.lz nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.tar.xz nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.tar.zst nixpkgs-08bf0b7630afa8656bb36bd61fac8ce9b2aff613.zip | |
coqPackages.category-theory: Add equations as a buildInput
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/category-theory/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/category-theory/default.nix b/pkgs/development/coq-modules/category-theory/default.nix index 795c177bc80..a5e4dd92116 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 ]; + propagatedBuildInputs = [ coq ssreflect equations ]; enableParallelBuilding = false; |