anchor.diff:            echo "all:" > all/Makefile
             echo "install:" >> all/Makefile
           '' ;
  -      derivation = mkCoqDerivation ({
  +      derivation = (mkCoqDerivation ({
           inherit version pname defaultVersion release releaseRev repo owner;
   
           mlPlugin = true;
  
positive.code:       # { case = "8.13"; out = "1.0-beta2-8.13"; }
        { case = "8.14"; out = "1.0-8.14"; }
        { case = "8.15"; out = "1.0-8.15"; }
      ] null;
    release = {
      "1.0-beta2-8.11".sha256 = "sha256-I9YNk5Di6Udvq5/xpLSNflfjRyRH8fMnRzbo3uhpXNs=";
  
negative.code:     "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}";
  
  