about summary refs log tree commit diff
path: root/pkgs
diff options
context:
space:
mode:
authorTuomas Tynkkynen <tuomas@tuxera.com>2016-04-27 03:24:04 +0300
committerTuomas Tynkkynen <tuomas@tuxera.com>2016-04-27 03:24:04 +0300
commitca0e724266c7adc61f27607dfda16a08a423eb06 (patch)
tree72b79daa5e45f49eeb618a9d6a97cde03b09c6d1 /pkgs
parent3ae8810ffae23d083f58b645c696d2dcfd1be4ab (diff)
downloadnixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.tar
nixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.tar.gz
nixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.tar.bz2
nixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.tar.lz
nixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.tar.xz
nixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.tar.zst
nixlib-ca0e724266c7adc61f27607dfda16a08a423eb06.zip
otter: Mark broken
Build hangs an hits the hydra time limit:
http://hydra.nixos.org/build/34897110
Diffstat (limited to 'pkgs')
-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;
   };
 }