diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix
index 3f16667d1553..24a4135bde13 100644
--- a/pkgs/development/compilers/fstar/default.nix
+++ b/pkgs/development/compilers/fstar/default.nix
@@ -50,7 +50,8 @@ stdenv.mkDerivation rec {
         -C src/ocaml-output
   '';
 
-  doCheck = !stdenv.isDarwin;
+  # https://github.com/FStarLang/FStar/issues/676
+  doCheck = false;
 
   preCheck = "ulimit -s unlimited";