Commit 94394c33 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.ssprove: 0.2.3 -> 0.2.4

parent c374d60d

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

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

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

      [

        {

          cases = [

            (range "8.18" "9.0")

            (range "2.3.0" "2.4.0")

          ];

          out = "0.2.4";

        }

        {

          cases = [

            (range "8.18" "8.20")
@@ -55,6 +62,7 @@ 


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



  release."0.2.4".sha256 = "sha256-uglr47aDgSkKi2JyVyN+2BrokZISZUAE8OUylGjy7ds=";

  release."0.2.3".sha256 = "sha256-Y3dmNIF36IuIgrVILteofOv8e5awKfq93S4YN7enswI=";

  release."0.2.2".sha256 = "sha256-tBF8equJd6hKZojpe+v9h6Tg9xEnMTVFgOYK7ZnMfxk=";

  release."0.2.1".sha256 = "sha256-X00q5QFxdcGWeNqOV/PLTOqQyyfqFEinbGUTO7q8bC4=";