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

coqPackages.coqprime: 8.18 → 8.20 (#494039)

parents ed3110d0 8e903d38

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

+5 −0
Original line number Diff line number Diff line
@@ -14,6 +14,10 @@ mkCoqDerivation { 
  defaultVersion =

    with lib.versions;

    lib.switch coq.coq-version [

      {

        case = range "8.20" "9.1";

        out = "8.20";

      }

      {

        case = range "8.14" "8.20";

        out = "8.18";
@@ -36,6 +40,7 @@ mkCoqDerivation { 
      }

    ] null;



  release."8.20".sha256 = "sha256-bwQPgxCVm6iFRJjNplPtUJqRfr6vXPaWs7OxLNnMjs8=";

  release."8.18".sha256 = "sha256-KObBEYerWhIStmq90G3vs9K5LUEOfB2SPxirwLiWQ6E=";

  release."8.17".sha256 = "sha256-D878t/PijVCopRKHYqfwdNvt3arGlI8yxbK/vI6qZUY=";

  release."8.15".sha256 = "sha256:1zr2q52r08na8265019pj9spcz982ivixk6cnzk6l1srn2g328gv";