From 4cdf5b4279dc05b855b504f5cbd012af86a39f3f Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas@tuxera.com>
Date: Wed, 27 Apr 2016 03:24:04 +0300
Subject: [PATCH] otter: Mark broken

Build hangs an hits the hydra time limit:
http://hydra.nixos.org/build/34897110

(cherry picked from commit ca0e724266c7adc61f27607dfda16a08a423eb06)
---
 pkgs/applications/science/logic/otter/default.nix | 1 +
 1 file changed, 1 insertion(+)

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;
   };
 }