anchor.diff:    inherit version release;
   
     defaultVersion =  with versions; switch coq.version [
  +      { case = isEq "8.14"; out = "8.14+rc1+0.14.0"; }
         { case = isEq "8.13"; out = "8.13.0+0.13.0"; }
         { case = isEq "8.12"; out = "8.12.0+0.12.1"; }
         { case = isEq "8.11"; out = "8.11.0+0.11.1"; }
  
positive.code:       });
  
    release = {
      "8.13.0+0.13.0".sha256 = "sha256:0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy";
      "8.12.0+0.12.1".sha256 = "sha256:048x3sgcq4h845hi6hm4j4dsfca8zfj70dm42w68n63qcm6xf9hn";
      "8.11.0+0.11.1".sha256 = "sha256:1phmh99yqv71vlwklqgfxiq2vj99zrzxmryj2j4qvg5vav3y3y6c";
      "8.10.0+0.7.2".sha256  = "sha256:1ljzm63hpd0ksvkyxcbh8rdf7p90vg91gb4h0zz0941v1zh40k8c";
    };
  in
  
  
negative.code: }).overrideAttrs(o:
    let inherit (o) version; in {
    src = fetchzip {
      url =
        if version == "8.14+rc1+0.14.0"
        then "https://github.com/ejgallego/coq-serapi/archive/refs/tags/8.14+rc1+0.14.0.tar.gz"
        else
          "https://github.com/ejgallego/coq-serapi/releases/download/${version}/coq-serapi-${
            if version == "8.11.0+0.11.1" then version
            else builtins.replaceStrings [ "+" ] [ "." ] version
          }.tbz";
      sha256 = release."${version}".sha256;
    };
  })
  