nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 23:43:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

agda: add fuuzetsu to maintainers

Browse Source
This commit is contained in:
Mateusz Kowalczyk 2014-10-15 01:02:03 +01:00
parent a921dba56a
commit 0732523c7d
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/compilers/agda/default.nix
View File

@ -30,5 +30,6 @@ cabal.mkDerivation (self: {
description = "A dependently typed functional programming language and proof assistant";
license = self.stdenv.lib.licenses.mit;
platforms = self.ghc.meta.platforms;
maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
};
})

2
pkgs/development/compilers/agda/stdlib.nix
View File

@ -21,6 +21,6 @@ agda.mkDerivation (self: rec {
description = "A standard library for use with the Agda compiler.";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
maintainers = with maintainers; [ jwiegley ];
maintainers = with maintainers; [ jwiegley fuuzetsu ];
};
})