Commit e1e49992 authored by R. RyanTM's avatar R. RyanTM Committed by Vincent Laporte
Browse files

easycrypt: 2025.03 -> 2025.08

parent 69034f60

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

  version = "2025.08";



  src = fetchFromGitHub {

    owner = pname;

    repo = pname;

    tag = "r${version}";

    hash = "sha256-Z6JaqR0BocEhDuof929HOvzWu6C77CAqeuYYY2PXvrs=";

    hash = "sha256-WUms6hh7T5/gxRLFvbJQiT1ErLr8KFilFNOMTT/fIyY=";

  };



  nativeBuildInputs =