Commit 373763f9 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.vcfloat: 2.2 -> 2.3

parent ece0ac9a

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

+5 −0
Original line number Diff line number Diff line
@@ -21,6 +21,10 @@ let 
    defaultVersion =

      with lib.versions;

      lib.switch coq.coq-version [

        {

          case = isEq "8.20";

          out = "2.3";

        }

        {

          case = isEq "8.19";

          out = "2.2";
@@ -30,6 +34,7 @@ let 
          out = "2.1.1";

        }

      ] null;

    release."2.3".sha256 = "sha256-fV7w/kYTpcBxrHFzEvx+eydDHbGH05/seucrgSjKK3w=";

    release."2.2".sha256 = "sha256-PyMm84ZYh+dOnl8Kk2wlYsQ+S/d1Hsp6uv2twTedEPg=";

    release."2.1.1".sha256 = "sha256-bd/XSQhyFUAnSm2bhZEZBWB6l4/Ptlm9JrWu6w9BOpw=";

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