1 files changed, 2 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/monosat/default.nix b/nixpkgs/pkgs/applications/science/logic/monosat/default.nix
index 30d47687a3e..fba3bc47906 100644
--- a/nixpkgs/pkgs/applications/science/logic/monosat/default.nix
+++ b/nixpkgs/pkgs/applications/science/logic/monosat/default.nix
@@ -39,6 +39,7 @@ let
       platforms   = platforms.unix;
       license     = if includeGplCode then licenses.gpl2 else licenses.mit;
       homepage    = https://github.com/sambayless/monosat;
+      broken = true;
     };
   };
 
@@ -64,4 +65,4 @@ let
         --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so'
     '';
   };
-in core
-\ No newline at end of file
+in core