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 | |
| parent | 9ff71f97c885dd46c25dd5927ea24f3bcfd9e9bb (diff) | |
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; } '' |