From 159042ff69e64df4c0e99581e2ff82332d469537 Mon Sep 17 00:00:00 2001
From: zimbatm <zimbatm@zimbatm.com>
Date: Thu, 25 Jul 2024 21:09:34 +0200
Subject: [PATCH] verifpal: move to by-name

---
 .../verifpal/default.nix => by-name/ve/verifpal/package.nix}    | 0
 pkgs/top-level/all-packages.nix                                 | 2 --
 2 files changed, 2 deletions(-)
 rename pkgs/{tools/security/verifpal/default.nix => by-name/ve/verifpal/package.nix} (100%)

diff --git a/pkgs/tools/security/verifpal/default.nix b/pkgs/by-name/ve/verifpal/package.nix
similarity index 100%
rename from pkgs/tools/security/verifpal/default.nix
rename to pkgs/by-name/ve/verifpal/package.nix
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c14f6c1d706f..a668a42d1277 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -40126,8 +40126,6 @@ with pkgs;
 
   pigeon = callPackage ../development/tools/pigeon { };
 
-  verifpal = callPackage ../tools/security/verifpal { };
-
   weasis = callPackage ../by-name/we/weasis/package.nix {
     jre = jdk21;
   };