Commit 2c7c5603 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp: 2.1.0 -> 2.2.0

parent 6340d6b5

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

+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ mkCoqDerivation { 


  inherit version;

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

    { cases = [(range "8.17" "8.18") (isGe "2.0.0")] ; out = "0.2.0"; }

    { cases = [(range "8.17" "8.19") (isGe "2.0.0")] ; out = "0.2.0"; }

    { cases = [(range "8.11" "8.18") (isLe "2.0.0")] ; out = "0.1.1"; }

  ] null;

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

+1 −1
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ 


  inherit version;

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

    { cases = [(range "8.17" "8.18") (isGe "2.0.0")  ]; out = "0.4.0"; }

    { cases = [(range "8.17" "8.19") (isGe "2.0.0")  ]; out = "0.4.0"; }

    { cases = [(range "8.11" "8.18") (range "1.12.0" "1.18.0") ]; out = "0.3.1"; }

    { cases = [(range "8.11" "8.14") (isLe "1.12.0") ]; out = "0.3.0"; }

    { cases = [(range "8.10" "8.12") (isLe "1.12.0") ]; out = "0.2.2"; }

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

+1 −1
Original line number Diff line number Diff line
@@ -10,7 +10,7 @@ mkCoqDerivation { 
  inherit version;

  defaultVersion = with lib.versions;

    lib.switch [ coq.version mathcomp-ssreflect.version ] [

      { cases = [ (range "8.16" "8.18") (isGe "2.0.0") ]; out = "1.0.2"; }

      { cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "1.0.2"; }

      { cases = [ (range "8.12" "8.18") (range "1.12.0" "1.17.0") ]; out = "1.0.1"; }

      { cases = [ (range "8.10" "8.16") (range "1.12.0" "1.17.0") ]; out = "1.0.0"; }

  ] null;

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

+1 −1
Original line number Diff line number Diff line
@@ -25,7 +25,7 @@ mkCoqDerivation { 


  inherit version;

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

    { cases = [ (range "8.16" "8.18") (isGe "2.0")          ]; out = "3.0"; }

    { cases = [ (range "8.16" "8.19") (isGe "2.0")          ]; out = "3.0"; }

    { cases = [ (range "8.12" "8.19") (range "1.12" "1.19") ]; out = "2.2"; }

  ] null;

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

+1 −1
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ mkCoqDerivation rec { 


  defaultVersion = with lib.versions;

     lib.switch [ coq.coq-version mathcomp-algebra.version ] [

       { cases = [ (range "8.16" "8.18") (isGe "2.0.0") ]; out = "1.5.0+2.0+8.16"; }

       { cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "1.5.0+2.0+8.16"; }

       { cases = [ (range "8.13" "8.19") (range "1.12" "1.19.0") ]; out = "1.3.0+1.12+8.13"; }

       { cases = [ (range "8.13" "8.16") (range "1.12" "1.17.0") ]; out = "1.1.0+1.12+8.13"; }

     ] null;