Commit 297c1be3 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.corn: 8.19 -> 8.20

parent 2085f632

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

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

    with lib.versions;

    lib.switch coq.coq-version [

      {

        case = (range "8.18" "8.20");

        out = "8.20.0";

      }

      {

        case = (range "8.17" "8.20");

        out = "8.19.0";
@@ -42,6 +46,7 @@ 
    "8.16.0".sha256 = "sha256-ZE/EEIndxHfo/9Me5NX4ZfcH0ZAQ4sRfZY7LRZfLXBQ=";

    "8.18.0".sha256 = "sha256-ow3mfarZ1PvBGf5WLnI8LdF3E+8A6fN7cOcXHrZJLo0=";

    "8.19.0".sha256 = "sha256-h5MlfRuv2hTbxGmpLUEGQO1YqQTwUNEHZzCfvdOU1TA=";

    "8.20.0".sha256 = "sha256-tl68REU6xTbSOzhPucQPd9A3YnnaMNbSY8gl4Seyp10=";

  };



  configureScript = "./configure.sh";