diff options
| author | Samuel Leathers <sam@appliedtrust.com> | 2017-05-22 23:55:05 -0400 |
|---|---|---|
| committer | Samuel Leathers <sam@appliedtrust.com> | 2017-05-22 23:55:05 -0400 |
| commit | fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619 (patch) | |
| tree | 7166f9254bbc762a99d41cc08cee9eec74b13ab6 /pkgs/applications/science/logic | |
| parent | 38625a8b1e67c2b4dc10b1c3f2ac5be5732e3c51 (diff) | |
| download | nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.tar nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.tar.gz nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.tar.bz2 nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.tar.lz nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.tar.xz nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.tar.zst nixlib-fdbcee03fe91d1dd1838f105c4b88ee7d6e6c619.zip | |
minisat: fix maintainer
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/minisat/unstable.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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/"; |