antimicro: mark as broken

2018-04-12 23:03:58 +02:00
parent 4af83283cd
commit dc3aeab753
1 changed files with 1 additions and 0 deletions
@@ -22,5 +22,6 @@ mkDerivation rec {
    maintainers = with maintainers; [ jb55 ];
    license = licenses.gpl3;
    platforms = with platforms; linux;
+    broken = true; # 2018-04-10
  };
 }