From fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619 Mon Sep 17 00:00:00 2001
From: Samuel Leathers <sam@appliedtrust.com>
Date: Mon, 22 May 2017 23:55:05 -0400
Subject: [PATCH] minisat: fix maintainer

---
 pkgs/applications/science/logic/minisat/unstable.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/minisat/unstable.nix b/pkgs/applications/science/logic/minisat/unstable.nix
index f7f5c7a4b78..9d63f32c544 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/";