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;
   };