Unverified Commit 574f4305 authored by h7x4's avatar h7x4 Committed by GitHub
Browse files

Merge pull request #331530 from proux01/mc2-default 

coqPackages.mathcomp: 1 -> 2
parents 6e070221 a06a5415

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

+2 −0
Original line number Diff line number Diff line
@@ -9,10 +9,12 @@ mkCoqDerivation { 
  release."1.14".sha256 = "sha256-wgeQC0fIN3PSmRY1K6/KTy+rJmqqxdo3Bhsz1vjVAes=";

  release."1.15".sha256 = "sha256:04zchnkvaq2mzpcilpspn5l947689gj3m0w20m0nd7w4drvlahnw";

  release."1.17".sha256 = "sha256-2VzdopXgKS/wC5Rd1/Zlr12J5bSIGINFjG1nrMjDrGE=";

  release."2.2".sha256  = "sha256-y8LlQg9d9rfPFjzS9Xu3BW/H3tPiOC+Eb/zwXJGW9d4=";

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



  inherit version;

  defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ] [

    { cases = [ (range "8.16" "8.20") (range "2.0" "2.2") ]; out = "2.2"; }

    { cases = [ (range "8.10" "8.18") (range "1.12.0" "1.18.0") ]; out = "1.17"; }

    { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "1.11"; }

  ] null;

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

+3 −3
Original line number Diff line number Diff line
@@ -20,12 +20,12 @@ let 
  withDoc = single && (args.withDoc or false);

  defaultVersion = let inherit (lib.versions) range; in

    lib.switch coq.coq-version [

      { case = range "8.17" "8.20"; out = "2.2.0"; }

      { case = range "8.17" "8.18"; out = "2.1.0"; }

      { case = range "8.17" "8.18"; out = "2.0.0"; }

      { case = range "8.19" "8.20"; out = "1.19.0"; }

      { case = range "8.17" "8.18"; out = "1.18.0"; }

      { case = range "8.15" "8.18"; out = "1.17.0"; }

      { case = range "8.16" "8.20"; out = "2.2.0"; }

      { case = range "8.16" "8.18"; out = "2.1.0"; }

      { case = range "8.16" "8.18"; out = "2.0.0"; }

      { case = range "8.13" "8.18"; out = "1.16.0"; }

      { case = range "8.14" "8.16"; out = "1.15.0"; }

      { case = range "8.11" "8.15"; out = "1.14.0"; }