diff --git a/pkgs/development/idris-modules/heyting-algebra.nix b/pkgs/development/idris-modules/heyting-algebra.nix
index 3fa546466c8a..e6656545cbe9 100644
--- a/pkgs/development/idris-modules/heyting-algebra.nix
+++ b/pkgs/development/idris-modules/heyting-algebra.nix
@@ -22,4 +22,6 @@ build-idris-package  {
     license = lib.licenses.mit;
     maintainers = [ lib.maintainers.brainrape ];
   };
+
+  broken = true;
 }