diff --git a/Agda.spec b/Agda.spec
index 04f8ea2..5e8d058 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
 
 Name:           %{pkg_name}
 Version:        2.3.2.1
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -41,7 +41,6 @@ BuildRequires:  alex
 BuildRequires:  happy
 # End cabal-rpm deps
 BuildRequires:  chrpath
-BuildRequires:  emacs-haskell-mode
 ExcludeArch:    armv7hl
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 Requires:       emacs-agda = %{version}-%{release}
@@ -84,7 +83,6 @@ Summary:        Emacs mode for the Agda language
 Group:          Applications/Editors
 License:        MIT
 Requires:       ghc-%{pkg_name}-devel = %{version}-%{release}
-Requires:       emacs-haskell-mode
 Requires:       emacs(bin) >= %{_emacs_version}
 
 %description -n emacs-agda
@@ -215,6 +213,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
 
 
 %changelog
+* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4
+- emacs agda-mode no longer depends on haskell-mode since 2.3.2
+
 * Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-3
 - compile agda2-queue.el
 - check for new elisp files
@@ -232,6 +233,8 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
 * Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-1
 - rename src package from ghc-Agda to Agda
 - update to 2.3.2.1
+  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2
+  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1
 - update to new simplified Haskell Packaging Guidelines
 - agda command-line tool in devel subpackage