diff --git a/pkgs/development/coq-modules/fiat/default.nix b/pkgs/development/coq-modules/fiat/default.nix
index df4ea133cd9..e084497cbf8 100644
--- a/pkgs/development/coq-modules/fiat/default.nix
+++ b/pkgs/development/coq-modules/fiat/default.nix
@@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
   propagatedBuildInputs = [ coq ];
 
   enableParallelBuilding = false;
-  doCheck = true;
+  doCheck = !stdenv.isi686;
 
   unpackPhase = ''
     mkdir fiat