obsolete Agda temporarily

to see if it quietens the rawhide report

ghc-rpm-macros.spec

@@ -11,7 +11,7 @@
 
 Name:           ghc-rpm-macros
 Version:        1.6.2
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        RPM macros for building packages for GHC
 
 License:        GPLv3+
@@ -74,6 +74,7 @@ Obsoletes:      bluetile <= 0.6, bluetile-core <= 0.6
 Obsoletes:      ghc-lambdabot-utils <= 4.2.2, ghc-lambdabot-utils-devel <= 4.2.2
 Obsoletes:      haddock <= 2.14.3, ghc-haddock <= 2.14.3, ghc-haddock-devel <= 2.14.3
 Obsoletes:      ghc-monad-unify <= 0.2.2, ghc-monad-unify-devel <= 0.2.2
+Obsoletes:      Agda <= 2.4.2.2, ghc-Agda <= 2.4.2.2, ghc-Agda-devel <= 2.4.2.2
 
 %description -n ghc-obsoletes
 Meta package for obsoleting deprecated Haskell packages.
@@ -134,6 +135,9 @@ EOF
 
 
 %changelog
+* Fri Jul 22 2016 Jens Petersen <petersen@redhat.com> - 1.6.2-4
+- try obsoleting Agda
+
 * Wed Jul 20 2016 Jens Petersen <petersen@redhat.com> - 1.6.2-3
 - obsolete cmdtheline, concrete-typerep, glade, bluetile, lambdabot-utils,
   haddock, monad-unify