Unverified Commit 19e2a256 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

easycrypt: 2025.10 -> 2025.11 (#461946)

parents 3b9ee5a0 ab9975eb

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 =