Loading nixos/tests/agda/override-with-backend.nix +2 −2 Original line number Diff line number Diff line Loading @@ -24,9 +24,9 @@ let in { name = "agda-trivial-backend"; meta = { meta = with pkgs.lib.maintainers; { maintainers = [ # FIXME carlostome ]; }; Loading Loading
nixos/tests/agda/override-with-backend.nix +2 −2 Original line number Diff line number Diff line Loading @@ -24,9 +24,9 @@ let in { name = "agda-trivial-backend"; meta = { meta = with pkgs.lib.maintainers; { maintainers = [ # FIXME carlostome ]; }; Loading