diff options
| author | Markus S. Wamser <github-dev@mail2013.wamser.eu> | 2021-11-13 23:28:25 +0100 |
|---|---|---|
| committer | Markus S. Wamser <github-dev@mail2013.wamser.eu> | 2022-10-12 16:00:16 +0200 |
| commit | c9d167f174f284c56cf4a08d284a1106d79ea391 (patch) | |
| tree | 5cc9b3221fb412501592251a42571a76b97a702f /pkgs/applications/science/logic/why3 | |
| parent | 9ff71f97c885dd46c25dd5927ea24f3bcfd9e9bb (diff) | |
pkgs.applications: remove unused args
Diffstat (limited to 'pkgs/applications/science/logic/why3')
| -rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/why3/with-provers.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 11cd19188965e..160d67094f4c0 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -1,4 +1,4 @@ -{ callPackage, fetchurl, fetchpatch, lib, stdenv +{ callPackage, fetchurl, lib, stdenv , ocamlPackages, coqPackages, rubber, hevea, emacs }: stdenv.mkDerivation rec { diff --git a/pkgs/applications/science/logic/why3/with-provers.nix b/pkgs/applications/science/logic/why3/with-provers.nix index 54aa22511742b..95d5b95718dd9 100644 --- a/pkgs/applications/science/logic/why3/with-provers.nix +++ b/pkgs/applications/science/logic/why3/with-provers.nix @@ -1,4 +1,4 @@ -{ stdenv, makeWrapper, runCommand, symlinkJoin, why3 }: +{ stdenv, makeWrapper, runCommand, why3 }: provers: let configAwkScript = runCommand "why3-conf.awk" { inherit provers; } '' |