diff --git a/.gitignore b/.gitignore
index 1a29f0a..325d083 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,5 @@
 /Agda-2.5.4.2.tar.gz
 /Agda-2.6.0.1.tar.gz
 /Agda-2.6.1.tar.gz
+/Agda-2.6.1.3.tar.gz
+/geniplate-mirror-0.7.7.tar.gz
diff --git a/Agda.spec b/Agda.spec
index 0c9ff5d..55ac9bc 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -14,9 +14,9 @@
 %global subpkgs %{geniplatemirror} %{murmurhash}
 
 Name:           %{pkg_name}
-Version:        2.6.1
+Version:        2.6.1.3
 # can only be reset when all subpkgs bumped
-Release:        31%{?dist}
+Release:        32%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -65,6 +65,7 @@ BuildRequires:  ghc-strict-prof
 BuildRequires:  ghc-template-haskell-prof
 BuildRequires:  ghc-text-prof
 BuildRequires:  ghc-time-prof
+BuildRequires:  ghc-transformers-prof
 BuildRequires:  ghc-unordered-containers-prof
 BuildRequires:  ghc-uri-encode-prof
 BuildRequires:  ghc-zlib-prof
@@ -253,6 +254,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %changelog
+* Thu Aug  5 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
+- update to 2.6.1.3
+
 * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-31
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
 
diff --git a/sources b/sources
index 500f350..246668e 100644
--- a/sources
+++ b/sources
@@ -1,4 +1,4 @@
-SHA512 (geniplate-mirror-0.7.6.tar.gz) = e75f42524d76f02f2dd66ca240ec4b2711445d7ce2b314bf2a487c61927707960ae74023faab3b539294d4afb66b0381462dd9ed0d1bca5a70f21e5d12d11f5d
 SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
 SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
-SHA512 (Agda-2.6.1.tar.gz) = a499e020f474fa2217bcabbe7fdfe05b2deca6915b284703e1af0e06a9b519028a073ed32b67648c95ce8352bb0a0cc7997d1cd3f6a18372633143d0d18d4867
+SHA512 (Agda-2.6.1.3.tar.gz) = 2778cde4d73bd1203690ef4bcca00fa62666a2b647f3f78525aa4f610e357663f0e03125415278870d14710916fd6e0534efd8f07cd03b4a93a37ff1ee1bbd50
+SHA512 (geniplate-mirror-0.7.7.tar.gz) = 8976e874372e29edb468a07bab5a524173d0daa6d48834349279d6ba0f4a79d890a1be23a7af7cd92485f44df08e9d32c54c4bbd8ae081aba5c705fdc652907e