Commit 65fb0bd6 authored by Pierre Roux's avatar Pierre Roux
Browse files

coqPackages.mathcomp: 2.4.0 -> 2.5.0

parent d78c2fd9

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")