diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix
index 1383cff9e55a..ff92e6a0610b 100644
--- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix
+++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix
@@ -26,6 +26,8 @@ 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 ];
   };
 })