diff options
author | Piotr Bogdan <ppbogdan@gmail.com> | 2018-03-22 15:56:22 +0000 |
---|---|---|
committer | Piotr Bogdan <ppbogdan@gmail.com> | 2018-11-15 17:41:25 +0000 |
commit | 5d0eeeee381e2957b43a6e0544e65f1b3d5b0795 (patch) | |
tree | 5d7630dcb425c2c9ffa39ad0496bb577157db0b1 /pkgs/top-level | |
parent | 20738d8b8164f48a89462f5a3424b9d82abfed8e (diff) | |
download | nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.tar nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.tar.gz nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.tar.bz2 nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.tar.lz nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.tar.xz nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.tar.zst nixlib-5d0eeeee381e2957b43a6e0544e65f1b3d5b0795.zip |
coq2html: switch to default make
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 42da2b7d7123..55fa43170187 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -21447,9 +21447,7 @@ with pkgs; coqPackages coq ; - coq2html = callPackage ../applications/science/logic/coq2html { - make = pkgs.gnumake3; - }; + coq2html = callPackage ../applications/science/logic/coq2html { }; cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; |