From 17321c9f85f9f5fd94f13a0d44bde7051279f60a Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Fri, 27 Mar 2026 06:12:34 +0000 Subject: [PATCH] coqPackages_9_1.verified-extraction: fix `meta` eval MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Without the change the eval fails as: $ nix eval --impure --expr 'with import {}; 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 --- pkgs/development/coq-modules/verified-extraction/default.nix | 1 - 1 file changed, 1 deletion(-) diff --git a/pkgs/development/coq-modules/verified-extraction/default.nix b/pkgs/development/coq-modules/verified-extraction/default.nix index c8ce1f8bf02f..fbe3610c9815 100644 --- a/pkgs/development/coq-modules/verified-extraction/default.nix +++ b/pkgs/development/coq-modules/verified-extraction/default.nix @@ -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 ]; };