Unverified Commit 9079f5a1 authored by Théo Zimmermann's avatar Théo Zimmermann
Browse files

coqPackages.rewriter: 0.0.11 -> 0.0.15

parent 28ced4eb

pkgs/development/coq-modules/rewriter/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -16,12 +16,12 @@ mkCoqDerivation { 
    in

    lib.switch coq.coq-version [

      {

        case = range "8.17" "8.19";

        out = "0.0.11";

        case = range "8.17" "9.0";

        out = "0.0.15";

      }

    ] null;

  release = {

    "0.0.11".sha256 = "sha256-aYoO08nwItlOoE5BnKRGib2Zk4Fz4Ni/L4QaqkObPow=";

    "0.0.15".sha256 = "sha256-zxNIMppFXUKShOXLbdZphy0Je5ii6cjcWUUcQMTcaHk=";

  };

  releaseRev = v: "v${v}";