coqPackages.MenhirLib: add maintainer

2025-01-07 13:41:09 +09:00
parent 66ca9869c7
commit b95d38587b
1 changed files with 3 additions and 3 deletions
@@ -35,11 +35,11 @@ let
    };
    propagatedBuildInputs = [ stdlib ];
    preBuild = "cd coq-menhirlib/src";
-    meta = with lib; {
+    meta = {
      homepage = "https://gitlab.inria.fr/fpottier/menhir/-/tree/master/coq-menhirlib";
      description = "A support library for verified Coq parsers produced by Menhir";
-      license = licenses.lgpl3Plus;
-      maintainers = with maintainers; [ ];
+      license = lib.licenses.lgpl3Plus;
+      maintainers = with lib.maintainers; [ damhiya ];
    };
  };
 in