verifpal: remove platform restriction (#244245)

2023-07-19 11:08:05 +02:00
parent d1f0c02127
commit 31dd174a9b
1 changed files with 0 additions and 1 deletions
@@ -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" ];
  };
 }