diff --git a/.gitignore b/.gitignore
index 4735e5e..a31d965 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /idris-0.9.8.tar.gz
 /idris-0.9.9.tar.gz
+/idris-0.9.9.1.tar.gz
diff --git a/idris.spec b/idris.spec
index efe3645..c7f5722 100644
--- a/idris.spec
+++ b/idris.spec
@@ -1,7 +1,7 @@
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 Name:           idris
-Version:        0.9.9
+Version:        0.9.9.1
 Release:        1%{?dist}
 Summary:        Functional Programming Language with Dependent Types
 
@@ -12,10 +12,11 @@ Source0:        http://hackage.haskell.org/packages/archive/%{name}/%{version}/%
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 # Begin cabal-rpm deps:
+BuildRequires:  ghc-ansi-terminal-devel
 BuildRequires:  ghc-binary-devel
 BuildRequires:  ghc-bytestring-devel
 BuildRequires:  ghc-containers-devel
-BuildRequires:  ghc-directory-devel
+BuildRequires:  ghc-directory-devel >= 1.2
 BuildRequires:  ghc-filepath-devel
 BuildRequires:  ghc-haskeline-devel
 BuildRequires:  ghc-language-java-devel
@@ -26,6 +27,7 @@ BuildRequires:  ghc-pretty-devel
 BuildRequires:  ghc-process-devel
 BuildRequires:  ghc-split-devel
 BuildRequires:  ghc-text-devel
+BuildRequires:  ghc-time-devel
 BuildRequires:  ghc-transformers-devel
 BuildRequires:  ghc-unix-devel
 BuildRequires:  ghc-vector-devel
@@ -82,6 +84,10 @@ cabal_configure_extra_options=--datadir=%{_libdir}
 
 
 %changelog
+* Sat Oct  5 2013 Jens Petersen <petersen@redhat.com> - 0.9.9.1-1
+- update to 0.9.9.1
+- depends on ansi-terminal and time
+
 * Fri Oct  4 2013 Jens Petersen <petersen@redhat.com> - 0.9.9-1
 - update to 0.9.9
   http://www.idris-lang.org/idris-0-9-9-released/
diff --git a/sources b/sources
index e309ef3..ff3d420 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-4d601dd413e7454700ca0d4e8e783f79  idris-0.9.9.tar.gz
+5d980e2cd61f5b08cbbabad5f6397c71  idris-0.9.9.1.tar.gz