diff options
author | Artturi <Artturin@artturin.com> | 2022-10-15 02:20:29 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-15 02:20:29 +0300 |
commit | eb49b683f36e26f19f0d043ca94470a4ed02c235 (patch) | |
tree | 8d4dae4ddd346553d4cdf3cc479558e5f935d055 /pkgs/applications/science/logic | |
parent | 8c0c80b2131b49282539c3a7837ca53263bf532b (diff) | |
parent | c9d167f174f284c56cf4a08d284a1106d79ea391 (diff) |
Merge pull request #195661 from wamserma/arg-cleanup-app
pkgs.applications: remove unused args
Diffstat (limited to 'pkgs/applications/science/logic')
4 files changed, 4 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/mcy/default.nix b/pkgs/applications/science/logic/mcy/default.nix index dc1094f3e27d0..343b50dfd7ef9 100644 --- a/pkgs/applications/science/logic/mcy/default.nix +++ b/pkgs/applications/science/logic/mcy/default.nix @@ -1,5 +1,5 @@ { lib, stdenv, fetchFromGitHub -, yosys, symbiyosys, python3 +, yosys, python3 }: let diff --git a/pkgs/applications/science/logic/petrinizer/default.nix b/pkgs/applications/science/logic/petrinizer/default.nix index e28137dde75b3..62d259f831871 100644 --- a/pkgs/applications/science/logic/petrinizer/default.nix +++ b/pkgs/applications/science/logic/petrinizer/default.nix @@ -1,7 +1,6 @@ { mkDerivation , async, base, bytestring, containers, fetchFromGitLab, mtl -, parallel-io, parsec, lib, stm, transformers, sbv_7_13, z3 -}: +, parallel-io, parsec, lib, stm, transformers, sbv_7_13}: mkDerivation rec { pname = "petrinizer"; 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; } '' |