coqPackages.MenhirLib: add maintainer (#371681)

2025-01-26 16:21:25 +01:00
parent 1d415ed350 b95d38587b
commit 55ee351470
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