From 31dd174a9b16b75e5ee6ca3e1debc0aa3e343433 Mon Sep 17 00:00:00 2001
From: Jay Bosamiya <jaybosamiya@gmail.com>
Date: Wed, 19 Jul 2023 05:08:05 -0400
Subject: [PATCH] verifpal: remove platform restriction (#244245)

---
 pkgs/tools/security/verifpal/default.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/tools/security/verifpal/default.nix b/pkgs/tools/security/verifpal/default.nix
index 2c02e1249d1..3d47dfa3abc 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" ];
   };
 }