diff --git a/.gitignore b/.gitignore
index 805e05b..4735e5e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /idris-0.9.8.tar.gz
+/idris-0.9.9.tar.gz
diff --git a/idris.spec b/idris.spec
index d756b6f..74717b1 100644
--- a/idris.spec
+++ b/idris.spec
@@ -1,8 +1,8 @@
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 Name:           idris
-Version:        0.9.8
-Release:        4%{?dist}
+Version:        0.9.9
+Release:        1%{?dist}
 Summary:        Functional Programming Language with Dependent Types
 
 License:        BSD
@@ -28,6 +28,8 @@ BuildRequires:  ghc-split-devel
 BuildRequires:  ghc-text-devel
 BuildRequires:  ghc-transformers-devel
 BuildRequires:  ghc-unix-devel
+BuildRequires:  ghc-vector-devel
+BuildRequires:  ghc-vector-binary-instances-devel
 # End cabal-rpm deps
 ## idris compiles to C and then uses gcc linking to the static rts library
 ## to generate executables (so devel files are included in the main package)
@@ -59,6 +61,8 @@ closely related to Epigram and Agda. There is a tutorial at
 %prep
 %setup -q
 
+cabal-tweak-flag LLVM False
+
 
 %build
 # libidris_rts.a is arch dependent
@@ -77,6 +81,11 @@ cabal_configure_extra_options=--datadir=%{_libdir}
 
 
 %changelog
+* 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/
+- disable LLVM backend for now
+
 * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.8-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
 
diff --git a/sources b/sources
index 20d4eab..e309ef3 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-95773eae515cfc2f9af191f8fed7d289  idris-0.9.8.tar.gz
+4d601dd413e7454700ca0d4e8e783f79  idris-0.9.9.tar.gz