about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/otter/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/applications/science/logic/otter/default.nix')
-rw-r--r--pkgs/applications/science/logic/otter/default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/otter/default.nix b/pkgs/applications/science/logic/otter/default.nix
index 398f6c9a3e22..08d19c143eed 100644
--- a/pkgs/applications/science/logic/otter/default.nix
+++ b/pkgs/applications/science/logic/otter/default.nix
@@ -43,5 +43,6 @@ stdenv.mkDerivation {
     license = stdenv.lib.licenses.publicDomain ;
     maintainers = [stdenv.lib.maintainers.raskin];
     platforms = stdenv.lib.platforms.linux;
+    broken = true;
   };
 }