diff options
| author | volth <volth@volth.com> | 2019-06-16 19:59:06 +0000 |
|---|---|---|
| committer | Alyssa Ross <hi@alyssa.is> | 2019-06-16 19:59:05 +0000 |
| commit | f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a (patch) | |
| tree | fc248141d976626274065a36839f64bd2dd3db99 /pkgs/development/coq-modules | |
| parent | ccee4117be08f0474640e06f76a7881389fb7b47 (diff) | |
| download | nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.gz nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.bz2 nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.lz nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.xz nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.zst nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.zip | |
treewide: remove unused variables (#63177)
* treewide: remove unused variables * making ofborg happy
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/StructTact/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/ssreflect/default.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/StructTact/default.nix b/pkgs/development/coq-modules/StructTact/default.nix index 55d59b93140..e33b9427223 100644 --- a/pkgs/development/coq-modules/StructTact/default.nix +++ b/pkgs/development/coq-modules/StructTact/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, coq, mathcomp }: +{ stdenv, fetchFromGitHub, coq }: let param = { diff --git a/pkgs/development/coq-modules/ssreflect/default.nix b/pkgs/development/coq-modules/ssreflect/default.nix index 1fcb7e2da8a..01df38375ef 100644 --- a/pkgs/development/coq-modules/ssreflect/default.nix +++ b/pkgs/development/coq-modules/ssreflect/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, coq, ncurses, which +{ stdenv, coq, ncurses, which , graphviz, mathcomp, withDoc ? false }: |