diff --git a/Agda-HashMap.patch b/Agda-HashMap.patch
new file mode 100644
index 0000000..04229fd
--- /dev/null
+++ b/Agda-HashMap.patch
@@ -0,0 +1,11 @@
+--- Agda-2.4.2.5/src/full/Agda/Utils/HashMap.hs~	2015-12-19 06:29:26.000000000 +0900
++++ Agda-2.4.2.5/src/full/Agda/Utils/HashMap.hs	2016-10-06 14:19:19.071676894 +0900
+@@ -5,7 +5,7 @@
+   ) where
+ 
+ import Data.Hashable
+-import Data.HashMap.Strict as HashMap
++import Data.HashMap.Strict as HashMap hiding (alter, mapMaybe)
+ import qualified Data.Maybe as Maybe
+ 
+ -- | Like 'Data.Map.Strict.mapMaybe'.
diff --git a/Agda.spec b/Agda.spec
index e8ef5ab..0b75d75 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -17,6 +17,7 @@ Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
 Source1:        agda-mode-init.el
 Source2:        https://hackage.haskell.org/package/%{geniplate}/%{geniplate}.tar.gz
 Patch0:         Agda-cpphs-version.patch
+Patch1:         Agda-HashMap.patch
 
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros-extra
@@ -112,6 +113,7 @@ This package provides the Haskell %{name} library development files.
 %prep
 %setup -q -c -n %{pkgver} -a2
 %patch0 -b .orig
+%patch1 -b .orig
 
 # tweak the Agda version in the emacs mode
 if ! grep -q \"%{version}\" %{pkgver}/src/data/emacs-mode/agda2-mode.el; then