hol: mark as broken

2017-03-14 15:36:06 +01:00
parent 770794cbfe
commit f70a896094
1 changed files with 1 additions and 0 deletions
--- a/pkgs/applications/science/logic/hol/default.nix
+++ b/pkgs/applications/science/logic/hol/default.nix
@@ -83,5 +83,6 @@ stdenv.mkDerivation {
    license = licenses.bsd3;
    maintainers = with maintainers; [ mudri ];
    platforms = with platforms; linux;
+    broken = true;
  };
 }