diff options
| author | Luflosi <luflosi@luflosi.de> | 2023-11-08 14:24:00 +0100 |
|---|---|---|
| committer | Luflosi <luflosi@luflosi.de> | 2023-11-08 15:21:31 +0100 |
| commit | 0942f79dda06f86faecd831bf571d5066f34c590 (patch) | |
| tree | 5f57aaa230de3f86e89293c3ef2bdbe733bd261b /pkgs/applications/science | |
| parent | d9cc44b51e9b333fd67e2c77eda010cc6c9552cc (diff) | |
| download | nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.tar nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.tar.gz nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.tar.bz2 nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.tar.lz nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.tar.xz nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.tar.zst nixpkgs-0942f79dda06f86faecd831bf571d5066f34c590.zip | |
abc-verifier: add Luflosi as maintainer
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index 1d4a11bfb3f..1c2a54386cd 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { description = "A tool for squential logic synthesis and formal verification"; homepage = "https://people.eecs.berkeley.edu/~alanmi/abc"; license = licenses.mit; - maintainers = with maintainers; [ thoughtpolice ]; + maintainers = with maintainers; [ thoughtpolice Luflosi ]; mainProgram = "abc"; platforms = platforms.unix; }; |