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:       # { 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"; }
        { case = "8.16"; out = "1.0-8.16"; }
      ] null;
    release = {
      "1.0-beta2-8.11".sha256 = "sha256-I9YNk5Di6Udvq5/xpLSNflfjRyRH8fMnRzbo3uhpXNs=";
  