Unverified Commit d03ce9c0 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages.metarocq: 9.0 -> 9.1 (#459058)

parents 8659b19d e410e51d

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

+2 −0
Original line number Diff line number Diff line
@@ -15,11 +15,13 @@ let 
      case = case: out: { inherit case out; };

    in

    lib.switch coq.coq-version [

      (case "9.1" "1.4-9.1")

      (case "9.0" "1.4-9.0.1")

    ] null;

  release = {

    "1.4-9.0".sha256 = "sha256-5QecDAMkvgfDPZ7/jDfnOgcE+Eb1LTAozP7nz6nkuxg=";

    "1.4-9.0.1".sha256 = "sha256-zMUd2A6EG0LYK3L9ABQvS/Et4MDpSmf3Pxd9+IPNYkI=";

    "1.4-9.1".sha256 = "sha256-v6jFvUavIzyb/e6ytAaZjxQLFM9uW9TDUB77yRO74eE=";

  };

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