From 6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20B=C3=A4renz?= <programming@manuelbaerenz.de>
Date: Thu, 22 Jul 2021 16:35:01 +0200
Subject: [PATCH] agdaPackages.iowa-stdlib: Remove hydraPlatforms

They are set automatically in the agda packages builder.
---
 pkgs/development/libraries/agda/iowa-stdlib/default.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix
index ff92e6a0610b..1383cff9e55a 100644
--- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix
+++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix
@@ -26,8 +26,6 @@ mkDerivation (rec {
     platforms = lib.platforms.unix;
     # broken since Agda 2.6.1
     broken = true;
-    # remove once unbroken
-    hydraPlatforms = lib.platforms.none;
     maintainers = with lib.maintainers; [ alexarice turion ];
   };
 })