anchor.diff:      mathcomp-real-closed  = current-mathcomp-extra "mathcomp-real-closed";
       coqeal                = current-mathcomp-extra "coqeal";
   
  -    mathcomp-extra-fast    = map (pkg: current-mathcomp-extra pkg)
  +    mathcomp-extra-fast    = map current-mathcomp-extra
         (attrNames (filterAttrs (pkg: config: !(config?slow && config.slow)) for-this));
  -    mathcomp-extra-all    = map (pkg: current-mathcomp-extra pkg) (attrNames for-this);
  +    mathcomp-extra-all    = map current-mathcomp-extra (attrNames for-this);
     }
  
positive.code:         passthru.compatibleCoqVersions = flip elem ["8.8" "8.9" "8.10" "8.11" ];
        };
  
        mathcomp-real-closed = version: {
          propagatedBuildInputs = with coqPackages;
            [ coq mathcomp.field  mathcomp-bigenough ];
          meta = {
            description = "Mathematical Components Library on real closed fields";
            repo = "real-closed";
  
negative.code:         passthru.compatibleCoqVersions = flip elem [ "8.9" "8.10" "8.11" ];
        };
  
        mathcomp-analysis = {version, coqPackages}: {
          propagatedBuildInputs = with coqPackages;
            [ mathcomp.field mathcomp-finmap mathcomp-bigenough ];
          meta = {
  