File tree Expand file tree Collapse file tree
applications/science/logic/abella Expand file tree Collapse file tree Original file line number Diff line number Diff line change 50585058 github = "cigrainger";
50595059 githubId = 3984794;
50605060 };
5061- ciil = {
5062- email = "simon@lackerbauer.com";
5063- github = "ciil";
5064- githubId = 3956062;
5065- name = "Simon Lackerbauer";
5066- };
50675061 cilki = {
50685062 github = "cilki";
50695063 githubId = 10459406;
Original file line number Diff line number Diff line change @@ -54,10 +54,7 @@ stdenv.mkDerivation (finalAttrs: {
5454 '' ;
5555 homepage = "https://abella-prover.org" ;
5656 license = lib . licenses . gpl3 ;
57- maintainers = with lib . maintainers ; [
58- bcdarwin
59- ciil
60- ] ;
57+ maintainers = [ lib . maintainers . bcdarwin ] ;
6158 platforms = lib . platforms . unix ;
6259 } ;
6360} )
Original file line number Diff line number Diff line change @@ -33,7 +33,7 @@ stdenv.mkDerivation (finalAttrs: {
3333 mainProgram = "gnushogi" ;
3434 homepage = "https://www.gnu.org/software/gnushogi/" ;
3535 license = lib . licenses . gpl3 ;
36- maintainers = [ lib . maintainers . ciil ] ;
36+ maintainers = [ ] ;
3737 platforms = lib . platforms . unix ;
3838 } ;
3939} )
Original file line number Diff line number Diff line change @@ -51,6 +51,6 @@ python3.pkgs.buildPythonApplication (finalAttrs: {
5151 mainProgram = "gshogi" ;
5252 license = lib . licenses . gpl3Plus ;
5353 platforms = lib . platforms . linux ;
54- maintainers = [ lib . maintainers . ciil ] ;
54+ maintainers = [ ] ;
5555 } ;
5656} )
Original file line number Diff line number Diff line change @@ -48,9 +48,7 @@ stdenv.mkDerivation (finalAttrs: {
4848 description = "Breakout clone from the LGames series" ;
4949 license = with lib . licenses ; [ gpl2Plus ] ;
5050 mainProgram = "lbreakout2" ;
51- maintainers = with lib . maintainers ; [
52- ciil
53- ] ;
51+ maintainers = [ ] ;
5452 platforms = lib . platforms . unix ;
5553 hydraPlatforms = lib . platforms . linux ; # build hangs on both Darwin platforms, needs investigation
5654 } ;
Original file line number Diff line number Diff line change @@ -370,10 +370,7 @@ stdenv.mkDerivation (finalAttrs: {
370370 description = "Set of integrated tools for the R language" ;
371371 homepage = "https://www.rstudio.com/" ;
372372 license = lib . licenses . agpl3Only ;
373- maintainers = with lib . maintainers ; [
374- ciil
375- tomasajt
376- ] ;
373+ maintainers = [ lib . maintainers . tomasajt ] ;
377374 mainProgram = "rstudio" + lib . optionalString server "-server" ;
378375 # rstudio-server on darwin is only partially supported by upstream
379376 platforms = lib . platforms . linux ++ lib . optionals ( ! server ) lib . platforms . darwin ;
You can’t perform that action at this time.
0 commit comments