Sergei Trofimovich 17321c9f85 coqPackages_9_1.verified-extraction: fix meta eval ...

Without the change the eval fails as:

    $ nix eval --impure --expr 'with import <nixpkgs> {}; coqPackages_9_1.verified-extraction.meta.maintainers'
    error:
       … while evaluating the attribute 'verified-extraction.meta.maintainers'
         at pkgs/stdenv/generic/check-meta.nix:558:7:
          557|       # if you add a new maintainer or team attribute please ensure that this expectation is still met.
          558|       maintainers = unique (
             |       ^
          559|         attrs.meta.maintainers or [ ] ++ concatMap (team: team.members or [ ]) attrs.meta.teams or [ ]

       … while calling the 'foldl'' builtin
         at pkgs/stdenv/generic/check-meta.nix:558:21:
          557|       # if you add a new maintainer or team attribute please ensure that this expectation is still met.
          558|       maintainers = unique (
             |                     ^
          559|         attrs.meta.maintainers or [ ] ++ concatMap (team: team.members or [ ]) attrs.meta.teams or [ ]

       (stack trace truncated; use '--show-trace' to show the full, detailed trace)

       error: undefined variable 'mattam82'
       at pkgs/development/coq-modules/verified-extraction/default.nix:62:7:
           61|     maintainers = with maintainers; [
           62|       mattam82
             |       ^
           63|       _4ever2

2026-03-27 06:12:34 +00:00

..

default.nix

coqPackages_9_1.verified-extraction: fix meta eval

2026-03-27 06:12:34 +00:00