diff options
| author | Aiken Cairncross <acairncross@gmail.com> | 2019-06-26 21:24:16 +0100 |
|---|---|---|
| committer | Aiken Cairncross <acairncross@gmail.com> | 2019-10-15 12:20:55 +0100 |
| commit | b4da391ade6d6e3828fe42693825f4a1a4d772a4 (patch) | |
| tree | c089a95ec130a3b9d4a3a0f3e7961ecba757e235 | |
| parent | 385908abd1a7d1c4a65d6c3e6febb70547127860 (diff) | |
monosat: Add self as maintainer
| -rw-r--r-- | maintainers/maintainer-list.nix | 5 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/monosat/default.nix | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 3dbd6282df4ec..af9a6d35f78ae 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -137,6 +137,11 @@ githubId = 2321000; name = "Ruslan Babayev"; }; + acairncross = { + email = "acairncross@gmail.com"; + github = "acairncross"; + name = "Aiken Cairncross"; + }; acowley = { email = "acowley@gmail.com"; github = "acowley"; diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix index fba3bc4790607..a9b52658b92b8 100644 --- a/pkgs/applications/science/logic/monosat/default.nix +++ b/pkgs/applications/science/logic/monosat/default.nix @@ -39,7 +39,7 @@ let platforms = platforms.unix; license = if includeGplCode then licenses.gpl2 else licenses.mit; homepage = https://github.com/sambayless/monosat; - broken = true; + maintainers = [ maintainers.acairncross ]; }; }; |