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

coqPackages.mathcomp: 2.4.0 -> 2.5.0 (#451885)

parents 08afcaae 65fb0bd6

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

+2 −0
Original line number Diff line number Diff line
@@ -19,6 +19,7 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.coq-version [

      (case (range "8.12" "9.1") "3.4.4")

      (case (range "8.12" "9.1") "3.4.3")

      (case (range "8.12" "8.20") "3.4.2")

      (case (range "8.12" "8.18") "3.4.0")
@@ -27,6 +28,7 @@ mkCoqDerivation { 
      (case (range "8.8" "8.13") "3.1.0")

      (case (range "8.5" "8.9") "3.0.2")

    ] null;

  release."3.4.4".sha256 = "sha256-xuL1ZpAfiBvQwXGjS7aN2N7KqSZlw+ywB8HvL9/Bjqs=";

  release."3.4.3".sha256 = "sha256-bzzAIENU2OYTtmdBU9Xw8zyBvz9vqTiqjWSm7RnXXRA=";

  release."3.4.2".sha256 = "sha256-aBTF8ZKu67Rb3ryCqFyejUXf/65KgG8i5je/ZMFSrj4=";

  release."3.4.1".sha256 = "sha256-REhvIBl3EaL8CQqI34Gn7Xjf9NhPI3nrUAO26pSLbm0=";

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

+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ mkCoqDerivation { 
    lib.switch

      [ coq.coq-version ssreflect.version ]

      [

        (case (range "8.17" "9.1") (range "2.0.0" "2.4.0") "0.2.2")

        (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.2")

        (case (range "8.17" "9.0") (range "2.0.0" "2.3.0") "0.2.1")

        (case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "0.2.0")

        (case (range "8.11" "8.20") (isLe "2.0.0") "0.1.1")

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

+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ 
    lib.switch

      [ coq.coq-version mathcomp-boot.version ]

      [

        (case (range "8.17" "9.1") (range "2.0.0" "2.4.0") "0.5.0")

        (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.5.0")

        (case (range "8.17" "8.20") (range "2.0.0" "2.3.0") "0.4.0")

        (case (range "8.11" "8.20") (range "1.12.0" "1.19.0") "0.3.1")

        (case (range "8.11" "8.14") (isLe "1.12.0") "0.3.0")

pkgs/development/coq-modules/fcsl-pcm/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ mkCoqDerivation { 
    lib.switch

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

      [

        (case (range "9.0" "9.1") (range "2.4.0" "2.4.0") "2.2.0")

        (case (range "9.0" "9.1") (range "2.4.0" "2.5.0") "2.2.0")

      ]

      null;

  release."2.2.0".sha256 = "sha256-VnfK+RHWiq27hxEJ9stpVp609/dMiPH6UHFhzaHdAnM=";

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

+2 −0
Original line number Diff line number Diff line
@@ -19,6 +19,7 @@ mkCoqDerivation { 
  release."1.3.1".sha256 = "sha256-wBizm1hJXPYBu0tHFNScQHd22FebsJYoggT5OlhY/zM=";

  release."1.4.0".sha256 = "sha256-8TtNPEbp3uLAH+MjOKiTZHOjPb3vVYlabuqsdWxbg80=";

  release."1.4.1".sha256 = "sha256-0UASpo9CdpvidRv33BDWrevo+NSOhxLQFPCJAWPXf+s=";

  release."1.4.2".sha256 = "sha256-d5J8j8gi6siwCLevM6y8Hf2rTB/HEfh72LLk0Qlzr0c=";



  inherit version;

  defaultVersion =
@@ -35,6 +36,7 @@ mkCoqDerivation { 
    lib.switch

      [ coq.coq-version mathcomp.version ]

      [

        (case (isGe "8.20") (isGe "2.4") "1.4.2")

        (case (isGe "8.16") (isGe "2.0") "1.4.1")

        (case (isGe "8.16") "2.0.0" "1.3.0")

        (case (isGe "8.11") (range "1.12" "1.19") "1.2.5")