diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2024-01-30 08:36:38 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-30 08:36:38 -0500 |
commit | 99780dd914d92290285a94bd8c4de10e28f26f8a (patch) | |
tree | 15c7a6d6f0974a8b6f66877d4a92dfd5262b9c99 /pkgs/top-level | |
parent | 01fb6b2467a3e90e276ffb660140103d559ec068 (diff) | |
parent | 6f0e7986ed2f58d2fc59f518f3aa92de495a04d6 (diff) |
Merge pull request #282446 from panicgh/ebpf-verifier-pin-catch2_3
ebpf-verifier: re-pin to nixpkgs catch2_3 sources
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a7aa840c819a9..2b80373472a81 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -648,14 +648,7 @@ with pkgs; eclipse-mat = callPackage ../development/tools/eclipse-mat { }; ebpf-verifier = callPackage ../tools/networking/ebpf-verifier { - # Replace this to `catch2 = catch2_3` when catch2 3.4.0 is merged - # https://github.com/NixOS/nixpkgs/pull/243485 - catch2.src = fetchFromGitHub { - owner = "catchorg"; - repo = "Catch2"; - rev = "v3.4.0"; - hash = "sha256-DqGGfNjKPW9HFJrX9arFHyNYjB61uoL6NabZatTWrr0="; - }; + catch2 = catch2_3; }; edgedb = callPackage ../tools/networking/edgedb { |