dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

agdaPackages.cubical: add maintainer phijor

Browse Source
This commit is contained in:
Philipp Joram 2024-02-18 00:17:02 +02:00
parent 6a98458f0f
commit 54c160c74f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/agda/cubical/default.nix
View File

@ -26,6 +26,6 @@ mkDerivation rec {
homepage = src.meta.homepage;
license = licenses.mit;
platforms = platforms.unix;
maintainers = with maintainers; [ alexarice ryanorendorff ncfavier ];
maintainers = with maintainers; [ alexarice ryanorendorff ncfavier phijor ];
};
}