From fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619 Mon Sep 17 00:00:00 2001 From: Samuel Leathers Date: Mon, 22 May 2017 23:55:05 -0400 Subject: minisat: fix maintainer --- pkgs/applications/science/logic/minisat/unstable.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/applications/science/logic') diff --git a/pkgs/applications/science/logic/minisat/unstable.nix b/pkgs/applications/science/logic/minisat/unstable.nix index f7f5c7a4b78d..9d63f32c5449 100644 --- a/pkgs/applications/science/logic/minisat/unstable.nix +++ b/pkgs/applications/science/logic/minisat/unstable.nix @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Compact and readable SAT solver"; - maintainers = with maintainers; [ Mic92 ]; + maintainers = with maintainers; [ mic92 ]; platforms = platforms.unix; license = licenses.mit; homepage = "http://minisat.se/"; -- cgit 1.4.1