From 443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 9 Jan 2015 14:21:08 -0600
Subject: [PATCH] coqPackages.fiat: correct installation directory

---
 pkgs/development/coq-modules/fiat/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/coq-modules/fiat/default.nix b/pkgs/development/coq-modules/fiat/default.nix
index 4eca588b205c..5b95800a4acc 100644
--- a/pkgs/development/coq-modules/fiat/default.nix
+++ b/pkgs/development/coq-modules/fiat/default.nix
@@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
   installPhase = ''
     COQLIB=$out/lib/coq/${coq.coq-version}/
     mkdir -p $COQLIB/user-contrib/Fiat
-    cp -pR src $COQLIB/user-contrib/Fiat
+    cp -pR src/* $COQLIB/user-contrib/Fiat
   '';
 
   installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";