hol: mark as broken

helsinki-systems · Mar 14, 2017 · f70a896 · f70a896
1 parent 770794c
commit f70a896
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;
   };
 }