From 0defae41cf09c5f5f7d674e12280708635c5b716 Mon Sep 17 00:00:00 2001
From: xeji <xeji@cat3.de>
Date: Tue, 10 Apr 2018 23:19:16 +0200
Subject: [PATCH] gencfsm: mark as broken

---
 pkgs/tools/security/gencfsm/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/tools/security/gencfsm/default.nix b/pkgs/tools/security/gencfsm/default.nix
index 7f6f28593d20..3a9c81df2343 100644
--- a/pkgs/tools/security/gencfsm/default.nix
+++ b/pkgs/tools/security/gencfsm/default.nix
@@ -35,5 +35,6 @@ stdenv.mkDerivation rec {
     license = licenses.gpl2Plus;
     platforms = platforms.linux;
     maintainers = [ maintainers.spacefrogg ];
+    broken = true; # 2018-04-10
   };
 }