Unverified Commit bf507d83 authored by Nadja Yang's avatar Nadja Yang
Browse files

lean4: add nadja-y as maintainer

parent 83326f01

pkgs/by-name/le/lean4/package.nix

+1 −0
Original line number Diff line number Diff line
@@ -98,6 +98,7 @@ stdenv.mkDerivation (finalAttrs: { 
    maintainers = with lib.maintainers; [

      danielbritten

      jthulhu

      nadja-y

    ];

    mainProgram = "lean";

  };