coqPackages_9_1.verified-extraction: fix meta eval (#503961)

2026-03-27 06:28:28 +00:00
parent 9ecd4b69ea 17321c9f85
commit 41b1d1b17c
1 changed files with 0 additions and 1 deletions
@@ -59,7 +59,6 @@ mkCoqDerivation {
    homepage = "https://metarocq.github.io/";
    description = "Verified Extraction from Rocq to OCaml. Including a bootstrapped extraction plugin";
    maintainers = with maintainers; [
-      mattam82
      _4ever2
    ];
  };