diff --git a/Agda.spec b/Agda.spec
index 8e4e7f6..a95b9f6 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -9,12 +9,13 @@
 %global geniplatemirror geniplate-mirror-0.7.5
 %global monadplus monadplus-1.4.2
 %global murmurhash murmur-hash-0.1.0.9
-%global subpkgs %{EdisonAPI} %{EdisonCore} %{geniplatemirror} %{monadplus} %{murmurhash}
+%global uriencode uri-encode-1.5.0.5
+%global subpkgs %{EdisonAPI} %{EdisonCore} %{geniplatemirror} %{monadplus} %{murmurhash} %{uriencode}
 
 Name:           %{pkg_name}
-Version:        2.5.2
+Version:        2.5.3
 # can only be reset when all subpkgs bumped
-Release:        10%{?dist}
+Release:        11%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -25,6 +26,7 @@ Source2:        https://hackage.haskell.org/package/%{geniplatemirror}/%{genipla
 Source3:        https://hackage.haskell.org/package/%{monadplus}/%{monadplus}.tar.gz
 Source4:        https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.tar.gz
 Source5:        https://hackage.haskell.org/package/%{EdisonAPI}/%{EdisonAPI}.tar.gz
+Source6:        https://hackage.haskell.org/package/%{uriencode}/%{uriencode}.tar.gz
 Source10:        agda-mode-init.el
 
 BuildRequires:  ghc-Cabal-devel
@@ -35,7 +37,9 @@ BuildRequires:  chrpath
 BuildRequires:  cpphs
 #BuildRequires:  ghc-EdisonCore-devel
 BuildRequires:  ghc-array-devel
+BuildRequires:  ghc-async-devel
 BuildRequires:  ghc-binary-devel
+BuildRequires:  ghc-blaze-html-devel
 BuildRequires:  ghc-boxes-devel
 BuildRequires:  ghc-bytestring-devel
 BuildRequires:  ghc-containers-devel
@@ -58,14 +62,14 @@ BuildRequires:  ghc-parallel-devel
 BuildRequires:  ghc-pretty-devel
 BuildRequires:  ghc-process-devel
 BuildRequires:  ghc-regex-tdfa-devel
+BuildRequires:  ghc-stm-devel
 BuildRequires:  ghc-strict-devel
 BuildRequires:  ghc-template-haskell-devel
 BuildRequires:  ghc-text-devel
 BuildRequires:  ghc-time-devel
-BuildRequires:  ghc-transformers-compat-devel
 BuildRequires:  ghc-transformers-devel
 BuildRequires:  ghc-unordered-containers-devel
-BuildRequires:  ghc-xhtml-devel
+#BuildRequires:  ghc-uri-encode-devel
 BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy
 # End cabal-rpm deps
@@ -125,14 +129,14 @@ This package provides the Haskell %{name} library development files.
 %ghc_lib_subpackage %{geniplatemirror}
 %ghc_lib_subpackage %{monadplus}
 %ghc_lib_subpackage %{murmurhash}
+%ghc_lib_subpackage %{uriencode}
 %endif
 
 %global version %{main_version}
 
 
 %prep
-%setup -q -a1 -a2 -a3 -a4 -a5
-cabal-tweak-dep-ver ieee754 '< 0.8' '< 0.9'
+%setup -q -a1 -a2 -a3 -a4 -a5 -a6
 
 # tweak the Agda version in the emacs mode
 if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
@@ -223,6 +227,10 @@ mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
 
 
 %changelog
+* Tue Jan 02 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-11
+- update to 2.5.3
+- add uri-encode subpackage
+
 * Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-10
 - ieee754 is now a separate package
 
diff --git a/sources b/sources
index c0f2054..9ebea1e 100644
--- a/sources
+++ b/sources
@@ -3,4 +3,4 @@ SHA512 (EdisonAPI-1.3.1.tar.gz) = 677161da64856421c834856ee2f5ef7f59880883433d5c
 SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
 SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
 SHA512 (EdisonCore-1.3.1.1.tar.gz) = 2e290a5c792a136931387936f457a45913edeedb9eda8006649b974d9aea294b9f1b7e5b2aa020c3ed151934cef8b2bd228e2cb56f7db37f35d59dcb23f7bcb8
-SHA512 (Agda-2.5.2.tar.gz) = 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164
+SHA512 (Agda-2.5.3.tar.gz) = d75d006ce37db576544c0bbbce3c2c508fe9b0f611c5717e8516aff59349af1322f684c338ac3928fce03d7883c4101206d7c236bf7a669f757537b119ffc52e