diff --git a/pkgs/applications/science/logic/easycrypt/default.nix b/pkgs/applications/science/logic/easycrypt/default.nix index ae77af313611..ef4d31edd52c 100644 --- a/pkgs/applications/science/logic/easycrypt/default.nix +++ b/pkgs/applications/science/logic/easycrypt/default.nix @@ -11,13 +11,13 @@ stdenv.mkDerivation (finalAttrs: { pname = "easycrypt"; - version = "2026.02"; + version = "2026.03"; src = fetchFromGitHub { owner = "easycrypt"; repo = "easycrypt"; tag = "r${finalAttrs.version}"; - hash = "sha256-ii/msqNUPZ7jQXG2fEkEpsGXc4sw6DcyaTIw21lrl7M="; + hash = "sha256-GkZSsVLnJg0/P5nRAHrmj64NmpT99jc2tvK0B/6FE7s="; }; nativeBuildInputs =