diff options
Diffstat (limited to 'pkgs/tools/security/verifpal/default.nix')
-rw-r--r-- | pkgs/tools/security/verifpal/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/tools/security/verifpal/default.nix b/pkgs/tools/security/verifpal/default.nix index 3d47dfa3abc5..378bd4731a41 100644 --- a/pkgs/tools/security/verifpal/default.nix +++ b/pkgs/tools/security/verifpal/default.nix @@ -29,6 +29,7 @@ buildGoModule rec { meta = { homepage = "https://verifpal.com/"; description = "Cryptographic protocol analysis for students and engineers"; + mainProgram = "verifpal"; maintainers = with lib.maintainers; [ zimbatm ]; license = with lib.licenses; [ gpl3 ]; }; |