Commit c82a0a78 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.math-classes: 8.18.0 → 8.19.0 

coqPackages.corn: 8.18.0 → 8.19.0
parent 6cefed10

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

+2 −0
Original line number Diff line number Diff line
@@ -4,6 +4,7 @@ mkCoqDerivation rec { 
  pname = "corn";

  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.coq-version [

    { case = (range "8.17" "8.19"); out = "8.19.0"; }

    { case = (range "8.14" "8.18"); out = "8.18.0"; }

    { case = (range "8.11" "8.17"); out = "8.16.0"; }

    { case = (range "8.7"  "8.15"); out = "8.13.0"; }
@@ -15,6 +16,7 @@ mkCoqDerivation rec { 
    "8.13.0".sha256 = "1wzr7mdsnf1rq7q0dvmv55vxzysy85b00ahwbs868bl7m8fk8x5b";

    "8.16.0".sha256 = "sha256-ZE/EEIndxHfo/9Me5NX4ZfcH0ZAQ4sRfZY7LRZfLXBQ=";

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

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

  };



  configureScript = "./configure.sh";

pkgs/development/coq-modules/math-classes/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -5,6 +5,7 @@ mkCoqDerivation { 
  pname = "math-classes";

  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.coq-version [

    { case = range "8.17" "8.19"; out = "8.19.0"; }

    { case = range "8.12" "8.18"; out = "8.18.0"; }

    { case = range "8.12" "8.17"; out = "8.17.0"; }

    { case = range "8.6"  "8.16"; out = "8.15.0"; }
@@ -14,6 +15,7 @@ mkCoqDerivation { 
  release."8.15.0".sha256 = "10w1hm537k6jx8a8vghq1yx12rsa0sjk2ipv3scgir71ln30hllw";

  release."8.17.0".sha256 = "sha256-WklL8pgYTd0l4TGt7h7tWj1qcFcXvoPn25+XKF1pIKA=";

  release."8.18.0".sha256 = "sha256-0WwPss8+Vr37zX616xeuS4TvtImtSbToFQkQostIjO8=";

  release."8.19.0".sha256 = "sha256-rsV96W9MPFi/DKsepNPm1QnC2DMemio+uALIgzVYw0w=";



  propagatedBuildInputs = [ bignums ];