diff --git a/.gitignore b/.gitignore
index 5c86783..5c0a806 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 /Agda-executable-2.3.0.1.tar.gz
 /Agda-2.3.2.1.tar.gz
 /Agda-2.3.2.2.tar.gz
+/Agda-2.4.2.tar.gz
diff --git a/Agda.spec b/Agda.spec
index 5be2eb0..8c73b0e 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -2,14 +2,17 @@
 
 %global pkg_name Agda
 
+# no useful debuginfo for Haskell packages without C sources
+%global debug_package %{nil}
+
 Name:           %{pkg_name}
-Version:        2.3.2.2
-Release:        5%{?dist}
+Version:        2.4.2
+Release:        1%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
 URL:            http://hackage.haskell.org/package/%{name}
-Source0:        http://hackage.haskell.org/packages/archive/%{name}/%{version}/%{name}-%{version}.tar.gz
+Source0:        http://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz
 Source1:        agda-mode-init.el
 
 BuildRequires:  ghc-Cabal-devel
@@ -17,13 +20,18 @@ BuildRequires:  ghc-rpm-macros
 # Begin cabal-rpm deps:
 BuildRequires:  alex
 BuildRequires:  chrpath
-BuildRequires:  ghc-QuickCheck-devel
+BuildRequires:  cpphs
+BuildRequires:  ghc-QuickCheck-devel >= 2.7.5
+BuildRequires:  ghc-STMonadTrans-devel
 BuildRequires:  ghc-array-devel
 BuildRequires:  ghc-binary-devel
+BuildRequires:  ghc-boxes-devel
 BuildRequires:  ghc-bytestring-devel
 BuildRequires:  ghc-containers-devel
+BuildRequires:  ghc-data-hash-devel
 BuildRequires:  ghc-deepseq-devel
 BuildRequires:  ghc-directory-devel
+BuildRequires:  ghc-equivalence-devel
 BuildRequires:  ghc-filepath-devel
 BuildRequires:  ghc-geniplate-devel
 BuildRequires:  ghc-hashable-devel
@@ -31,11 +39,13 @@ BuildRequires:  ghc-hashtables-devel
 BuildRequires:  ghc-haskeline-devel
 BuildRequires:  ghc-haskell-src-exts-devel
 BuildRequires:  ghc-mtl-devel
-BuildRequires:  ghc-old-time-devel
 BuildRequires:  ghc-parallel-devel
 BuildRequires:  ghc-pretty-devel
 BuildRequires:  ghc-process-devel
+BuildRequires:  ghc-strict-devel
 BuildRequires:  ghc-text-devel
+BuildRequires:  ghc-time-devel
+BuildRequires:  ghc-transformers-devel
 BuildRequires:  ghc-unordered-containers-devel
 BuildRequires:  ghc-xhtml-devel
 BuildRequires:  ghc-zlib-devel
@@ -98,12 +108,6 @@ be indexed by values and not just types. It also has parameterized
 modules, mixfix operators, Unicode characters, and an interactive
 Emacs interface (the type checker can assist in the development of your code).
 
-Agda is also a proof assistant: It is an interactive system for writing and
-checking proofs. Agda is based on intuitionistic type theory,
-a foundational system for constructive mathematics developed by
-the Swedish logician Per Martin-Löf. It has many similarities with other
-proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
-
 This is the interactive Emacs mode for Agda.
 
 
@@ -120,11 +124,7 @@ be indexed by values and not just types. It also has parameterized
 modules, mixfix operators, Unicode characters, and an interactive
 Emacs interface (the type checker can assist in the development of your code).
 
-Agda is also a proof assistant: It is an interactive system for writing and
-checking proofs. Agda is based on intuitionistic type theory,
-a foundational system for constructive mathematics developed by
-the Swedish logician Per Martin-Löf. It has many similarities with other
-proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
+This package provides the elisp source files for the Emacs mode.
 
 
 %prep
@@ -217,6 +217,12 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
 %changelog
+* Wed Sep 03 2014 Jens Petersen <petersen@redhat.com> - 2.4.2-1
+- update to 2.4.2
+- refresh to cblrpm-0.8.11
+- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
+  and QuickCheck 2.7.5+
+
 * Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
 
diff --git a/sources b/sources
index fe21caa..67add1d 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-ec8cc8bcf6efcaf8d684bc8da6356a1c  Agda-2.3.2.2.tar.gz
+2565906cfea2ee85cfb31184fa2cec7a  Agda-2.4.2.tar.gz