diff --git a/pkgs/development/coq-modules/fiat/HEAD.nix b/pkgs/development/coq-modules/fiat/HEAD.nix
deleted file mode 100644
index 5fd9ebb53692..000000000000
--- a/pkgs/development/coq-modules/fiat/HEAD.nix
+++ /dev/null
@@ -1,42 +0,0 @@
-{
-  lib,
-  mkCoqDerivation,
-  coq,
-  python27,
-  version ? null,
-}:
-
-mkCoqDerivation {
-  pname = "fiat";
-  owner = "mit-plv";
-  repo = "fiat";
-  displayVersion = {
-    fiat = v: "unstable-${v}";
-  };
-  inherit version;
-  defaultVersion = if coq.coq-version == "8.5" then "2016-10-24" else null;
-  release."2016-10-24".rev = "7feb6c64be9ebcc05924ec58fe1463e73ec8206a";
-  release."2016-10-24".sha256 = "16y57vibq3f5i5avgj80f4i3aw46wdwzx36k5d3pf3qk17qrlrdi";
-
-  mlPlugin = true;
-  buildInputs = [ python27 ];
-
-  prePatch = "patchShebangs etc/coq-scripts";
-
-  doCheck = false;
-
-  enableParallelBuilding = false;
-  buildPhase = "make -j$NIX_BUILD_CORES";
-
-  installPhase = ''
-    COQLIB=$out/lib/coq/${coq.coq-version}/
-    mkdir -p $COQLIB/user-contrib/Fiat
-    cp -pR src/* $COQLIB/user-contrib/Fiat
-  '';
-
-  meta = {
-    homepage = "http://plv.csail.mit.edu/fiat/";
-    description = "Library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications";
-    maintainers = with lib.maintainers; [ jwiegley ];
-  };
-}
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 9e4fb8ee16af..7d432736eb88 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -101,7 +101,6 @@ let
       equations = callPackage ../development/coq-modules/equations { };
       ExtLib = callPackage ../development/coq-modules/ExtLib { };
       extructures = callPackage ../development/coq-modules/extructures { };
-      fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix { };
       flocq = callPackage ../development/coq-modules/flocq { };
       fourcolor = callPackage ../development/coq-modules/fourcolor { };
       gaia = callPackage ../development/coq-modules/gaia { };