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

maintainers: add Alizter to Coq team

Browse Source 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
This commit is contained in:
Ali Caglayan 2023-03-13 00:39:02 +01:00
parent 9e278649c0
commit b89c6b0eb2
No known key found for this signature in database
GPG Key ID: 59DD99D26B71EC5E
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
maintainers/team-list.nix
View File

@ -142,6 +142,7 @@ with lib.maintainers; {
# gares has no entry in the maintainers list
siraben
vbgl
alizter
];
scope = "Maintain the Coq theorem prover and related packages.";
shortName = "Coq";