fstar: remove pnmadelaine as maintainer

2025-01-20 15:27:05 +01:00
parent 1b33f1d9a5
commit 1eb41e586b
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;