verifpal: move to by-name

2024-07-31 09:10:30 +02:00
parent dd69ea8ebd
commit 159042ff69
2 changed files with 0 additions and 2 deletions
@@ -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;
  };