public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Agda: Add turion as maintainer

Browse Source
This commit is contained in:
Alex Rice 2020-05-14 20:50:00 +01:00
parent 43fb96efe8
commit 8ee4c3698c
No known key found for this signature in database
GPG Key ID: 93DDCD7A2B3F3B88
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/agda/agda-categories/default.nix
View File

@ -23,6 +23,6 @@ mkDerivation rec {
hydraPlatforms = []; hydraPlatforms = [];
# Waiting for release 0.2 for this to work # Waiting for release 0.2 for this to work
broken = true; broken = true;
maintainers = with maintainers; [ alexarice ]; maintainers = with maintainers; [ alexarice turion ];
}; };
} }

2
pkgs/development/libraries/agda/agda-prelude/default.nix
View File

@ -27,6 +27,6 @@ mkDerivation rec {
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
# broken since Agda 2.6.1 # broken since Agda 2.6.1
broken = true; broken = true;
maintainers = with maintainers; [ mudri alexarice ]; maintainers = with maintainers; [ mudri alexarice turion ];
}; };
} }

2
pkgs/development/libraries/agda/iowa-stdlib/default.nix
View File

@ -26,6 +26,6 @@ mkDerivation (rec {
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
# broken since Agda 2.6.1 # broken since Agda 2.6.1
broken = true; broken = true;
maintainers = with stdenv.lib.maintainers; [ alexarice ]; maintainers = with stdenv.lib.maintainers; [ alexarice turion ];
}; };
}) })

2
pkgs/development/libraries/agda/standard-library/default.nix
View File

@ -21,6 +21,6 @@ mkDerivation rec {
description = "A standard library for use with the Agda compiler"; description = "A standard library for use with the Agda compiler";
license = stdenv.lib.licenses.mit; license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
maintainers = with maintainers; [ jwiegley mudri alexarice ]; maintainers = with maintainers; [ jwiegley mudri alexarice turion ];
}; };
} }