diff options
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/heyting-algebra.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/heyting-algebra.nix b/pkgs/development/idris-modules/heyting-algebra.nix index 3fa546466c8..e6656545cbe 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; } |