From dc3aeab7531d881f9937dc5b0793cfbb3dbe4f63 Mon Sep 17 00:00:00 2001
From: xeji <xeji@cat3.de>
Date: Tue, 10 Apr 2018 22:23:49 +0200
Subject: [PATCH] antimicro: mark as broken

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

diff --git a/pkgs/tools/misc/antimicro/default.nix b/pkgs/tools/misc/antimicro/default.nix
index ee0accac2d9b..62d46bba5b0d 100644
--- a/pkgs/tools/misc/antimicro/default.nix
+++ b/pkgs/tools/misc/antimicro/default.nix
@@ -22,5 +22,6 @@ mkDerivation rec {
     maintainers = with maintainers; [ jb55 ];
     license = licenses.gpl3;
     platforms = with platforms; linux;
+    broken = true; # 2018-04-10
   };
 }