diff options
author | Yegor Timoshenko <yegortimoshenko@riseup.net> | 2018-01-17 05:13:23 +0000 |
---|---|---|
committer | Yegor Timoshenko <yegortimoshenko@riseup.net> | 2018-01-17 05:17:33 +0000 |
commit | 506c89c30af888a33cf013f418b544638dae1b27 (patch) | |
tree | ad8c8526c4d1f19eb19c21b02b7c8527491ddf87 /pkgs/applications/science/logic/stp/default.nix | |
parent | 846b5c42f19fe2ea8deb58f072d5c2df56605d19 (diff) | |
download | nixlib-506c89c30af888a33cf013f418b544638dae1b27.tar nixlib-506c89c30af888a33cf013f418b544638dae1b27.tar.gz nixlib-506c89c30af888a33cf013f418b544638dae1b27.tar.bz2 nixlib-506c89c30af888a33cf013f418b544638dae1b27.tar.lz nixlib-506c89c30af888a33cf013f418b544638dae1b27.tar.xz nixlib-506c89c30af888a33cf013f418b544638dae1b27.tar.zst nixlib-506c89c30af888a33cf013f418b544638dae1b27.zip |
maintainers: remove mornfall from packages
Diffstat (limited to 'pkgs/applications/science/logic/stp/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index 367449f44f38..081dc788163b 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -29,7 +29,7 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Simple Theorem Prover"; - maintainers = with maintainers; [ mornfall ]; + maintainers = with maintainers; [ ]; platforms = platforms.linux; license = licenses.mit; }; |