about summary refs log tree commit diff
path: root/pkgs/tools/security/verifpal
diff options
context:
space:
mode:
authorJay Bosamiya <jaybosamiya@gmail.com>2023-07-19 05:08:05 -0400
committerGitHub <noreply@github.com>2023-07-19 11:08:05 +0200
commit31dd174a9b16b75e5ee6ca3e1debc0aa3e343433 (patch)
tree9bf4094f852913ee5ae1393603b3028be5b842f7 /pkgs/tools/security/verifpal
parentd1f0c02127aa2f0dd182bf77013295f1c1fbbfa6 (diff)
verifpal: remove platform restriction (#244245)
Diffstat (limited to 'pkgs/tools/security/verifpal')
-rw-r--r--pkgs/tools/security/verifpal/default.nix1
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" ];
   };
 }