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

easycrypt: 2025.02 -> 2025.03

parent db6ea9d7

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.02";

  version = "2025.03";



  src = fetchFromGitHub {

    owner = pname;

    repo = pname;

    tag = "r${version}";

    hash = "sha256-XkfFCPmc8vd6gGFiz/Lxzk7BtcCQBzPNVPGFdiylZmc=";

    hash = "sha256-Z6JaqR0BocEhDuof929HOvzWu6C77CAqeuYYY2PXvrs=";

  };



  nativeBuildInputs =