mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-24 14:41:17 +00:00
Merge pull request #26011 from disassembler/minisat-unstable
minisat: fix maintainer
This commit is contained in:
commit
51930ce432
|
@ -235,6 +235,6 @@ in {
|
|||
};
|
||||
};
|
||||
|
||||
meta.maintainers = with lib.maintainers; [ nand0p Mic92 ];
|
||||
meta.maintainers = with lib.maintainers; [ nand0p mic92 ];
|
||||
|
||||
}
|
||||
|
|
|
@ -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/";
|
||||
|
|
Loading…
Reference in a new issue