Commit ab9975eb authored by R. RyanTM's avatar R. RyanTM
Browse files

easycrypt: 2025.10 -> 2025.11

parent 042d0c7f

pkgs/applications/science/logic/easycrypt/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -10,13 +10,13 @@ 


stdenv.mkDerivation rec {

  pname = "easycrypt";

  version = "2025.10";

  version = "2025.11";



  src = fetchFromGitHub {

    owner = "easycrypt";

    repo = "easycrypt";

    tag = "r${version}";

    hash = "sha256-EF508JsM99lLIqTrWkV/gvlKYRSPQgaLfqxDoOkJbhU=";

    hash = "sha256-BLyC8AB075Nyhb5heIKVkxnWWt4Zn8Doo10ShsACJ4g=";

  };



  nativeBuildInputs =