diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix
index d32158784b09..3d738444f533 100644
--- a/pkgs/development/compilers/fstar/default.nix
+++ b/pkgs/development/compilers/fstar/default.nix
@@ -86,7 +86,6 @@ stdenv.mkDerivation {
     license = licenses.asl20;
     maintainers = with maintainers; [
       gebner
-      pnmadelaine
     ];
     mainProgram = "fstar.exe";
     platforms = with platforms; darwin ++ linux;