Commit 0e6a2434 authored by 4ever2's avatar 4ever2 Committed by Vincent Laporte
Browse files

coqPackages.ssprove: 0.2.0 → 0.2.1

parent f0b25736

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

+2 −1
Original line number Diff line number Diff line
@@ -12,7 +12,7 @@ 


  inherit version;

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

    { cases = [(range "8.18" "8.19") (range "2.1.0" "2.2.0")]; out = "0.2.0"; }

    { cases = [(range "8.18" "8.19") (range "2.1.0" "2.2.0")]; out = "0.2.1"; }

    # This is the original dependency:

    # { cases = ["8.17" "1.18.0"]; out = "0.1.0"; }

    # But it is not loadable. The math-comp nixpkgs configuration
@@ -25,6 +25,7 @@ 


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



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

  release."0.2.0".sha256 = "sha256-GDkWH0LUsW165vAUoYC5of9ndr0MbfBtmrPhsJVXi3o=";

  release."0.1.0".sha256 = "sha256-Yj+k+mBsudi3d6bRVlZLyM4UqQnzAX5tHvxtKoIuNTE=";