diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix
index 9cda6ceec13..6fa45f58e78 100644
--- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix
+++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix
@@ -24,6 +24,8 @@ mkDerivation (rec {
     description = "Agda standard library developed at Iowa";
     license = stdenv.lib.licenses.free;
     platforms = stdenv.lib.platforms.unix;
+    # broken since Agda 2.6.1
+    broken = true;
     maintainers = with stdenv.lib.maintainers; [ alexarice ];
   };
 })