anchor.diff:      "1.0-beta2-8.13".sha256 = "sha256-IC56/lEDaAylUbMCfG/3cqOBZniEQk8jmI053DBO5l8=";
       "1.0-8.14".sha256 = "sha256-iRnaNeHt22JqxMNxOGPPycrO9EoCVjusR2s0GfON1y0=";
       "1.0-8.15".sha256 = "sha256-8RUC5dHNfLJtJh+IZG4nPTAVC8ZKVh2BHedkzjwLf/k=";
  +    "1.0-8.16".sha256 = "sha256-7rkCAN4PNnMgsgUiiLe2TnAliknN75s2SfjzyKCib/o=";
     };
     releaseRev = v: "v${v}";
   
  
positive.code:           echo "all:" > all/Makefile
            echo "install:" >> all/Makefile
          '' ;
        derivation = mkCoqDerivation ({
          inherit version pname defaultVersion release releaseRev repo owner;
  
          mlPlugin = true;
  
negative.code:           maintainers = with maintainers; [ cohencyril ];
          };
        } // optionalAttrs (package != "single")
          { passthru = genAttrs packages metacoq_; })
        ).overrideAttrs (o: {
          propagatedBuildInputs = o.propagatedBuildInputs ++
            optional (versionAtLeast o.version "1.0-8.16") coq.ocamlPackages.stdlib-shims;
        });
      in derivation;
  in
  metacoq_ (if single then "single" else "all")
  