coqPackages.ssprove: 0.2.1 → 0.2.2

Author: 4ever2

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

@@ -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.1"; }
+    { cases = [(range "8.18" "8.20") (range "2.1.0" "2.2.0")]; out = "0.2.2"; }
     # 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.2".sha256 = "sha256-tBF8equJd6hKZojpe+v9h6Tg9xEnMTVFgOYK7ZnMfxk=";
   release."0.2.1".sha256 = "sha256-X00q5QFxdcGWeNqOV/PLTOqQyyfqFEinbGUTO7q8bC4=";
   release."0.2.0".sha256 = "sha256-GDkWH0LUsW165vAUoYC5of9ndr0MbfBtmrPhsJVXi3o=";
   release."0.1.0".sha256 = "sha256-Yj+k+mBsudi3d6bRVlZLyM4UqQnzAX5tHvxtKoIuNTE=";