Commit 3bb8fa02 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3

parent 9cac65b6

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

+8 −0
Original line number Diff line number Diff line
@@ -23,6 +23,13 @@ 
    lib.switch

      [ coq.version mathcomp-analysis.version ]

      [

        {

          cases = [

            (range "8.20" "8.20")

            (isGe "1.10")

          ];

          out = "0.9.3";

        }

        {

          cases = [

            (range "8.19" "8.20")
@@ -88,6 +95,7 @@ 
        }

      ]

      null;

  release."0.9.3".sha256 = "sha256-8+cnVKNAvZ3MVV3BpS8UmCIxJphsQRBv3swek1eEBjE=";

  release."0.9.1".sha256 = "sha256-WI20HxMHr1ZUwOGPIUl+nRI8TxVUa2+F1xcGjRDHO9g=";

  release."0.7.7".sha256 = "sha256-kEbpMl7U+I2kvqi1VrjhIVFkZFO6h0tTHEUZRbHYG7E=";

  release."0.7.5".sha256 = "sha256-pzPo+Acjx3vlyqOkSZQ8uT2BDLSTfbAnRm39e+/CqE0=";