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

easycrypt: 2026.03 -> 2026.05 (#515558)

parents fd9eef19 41089fb2

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

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


stdenv.mkDerivation (finalAttrs: {

  pname = "easycrypt";

  version = "2026.03";

  version = "2026.05";



  src = fetchFromGitHub {

    owner = "easycrypt";

    repo = "easycrypt";

    tag = "r${finalAttrs.version}";

    hash = "sha256-GkZSsVLnJg0/P5nRAHrmj64NmpT99jc2tvK0B/6FE7s=";

    hash = "sha256-+tVGJAfngTHpn7qFGwl36verbcxOqH21zwojgOxcuuY=";

  };



  nativeBuildInputs =