coqPackages: allow one level of introspection before applying __attrsFailEvaluation#324675

infinisil merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

philiptaron:__attrsFailEvaluation/coqphiliptaron/nixpkgs:__attrsFailEvaluation/coqCopy head branch name to clipboard