diff options
Diffstat (limited to 'pkgs/tools/security/verifpal/default.nix')
| -rw-r--r-- | pkgs/tools/security/verifpal/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/tools/security/verifpal/default.nix b/pkgs/tools/security/verifpal/default.nix index 2c02e1249d145..3d47dfa3abc5f 100644 --- a/pkgs/tools/security/verifpal/default.nix +++ b/pkgs/tools/security/verifpal/default.nix @@ -31,6 +31,5 @@ buildGoModule rec { description = "Cryptographic protocol analysis for students and engineers"; maintainers = with lib.maintainers; [ zimbatm ]; license = with lib.licenses; [ gpl3 ]; - platforms = [ "x86_64-linux" ]; }; } |