fstar: remove pnmadelaine as maintainer (#375323)

2025-01-20 16:48:46 +02:00
parent a121f7b859 1eb41e586b
commit f07056b33c
1 changed files with 0 additions and 1 deletions
@@ -86,7 +86,6 @@ stdenv.mkDerivation {
    license = licenses.asl20;
    maintainers = with maintainers; [
      gebner
-      pnmadelaine
    ];
    mainProgram = "fstar.exe";
    platforms = with platforms; darwin ++ linux;