easycrypt: 2026.03 -> 2026.05

2026-05-01 18:02:58 +00:00
parent 6ba2db6316
commit 41089fb2c1
1 changed files with 2 additions and 2 deletions
@@ -11,13 +11,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "easycrypt";
-  version = "2026.03";
+  version = "2026.05";

  src = fetchFromGitHub {
    owner = "easycrypt";
    repo = "easycrypt";
    tag = "r${finalAttrs.version}";
-    hash = "sha256-GkZSsVLnJg0/P5nRAHrmj64NmpT99jc2tvK0B/6FE7s=";
+    hash = "sha256-+tVGJAfngTHpn7qFGwl36verbcxOqH21zwojgOxcuuY=";
  };

  nativeBuildInputs =