From e3aad73232c7119bf8216b3d366b366357408421 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 12 Oct 2016 18:36:12 +0900 Subject: [PATCH] drop the Agda obsoletes --- ghc-rpm-macros.spec | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/ghc-rpm-macros.spec b/ghc-rpm-macros.spec index e1ae92f..9cc44a7 100644 --- a/ghc-rpm-macros.spec +++ b/ghc-rpm-macros.spec @@ -11,8 +11,8 @@ Name: ghc-rpm-macros Version: 1.6.9 -Release: 3%{?dist} -Summary: RPM macros for building packages for GHC +Release: 4%{?dist} +Summary: RPM macros for building Haskell packages for GHC License: GPLv3+ URL: https://github.com/fedora-haskell/ghc-rpm-macros @@ -75,7 +75,6 @@ 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 Obsoletes: idris <= 0.9.9.1 %description -n ghc-obsoletes @@ -138,6 +137,9 @@ EOF %changelog +* Wed Oct 12 2016 Jens Petersen - 1.6.9-4 +- remove Agda obsoletes + * Tue Oct 4 2016 Jens Petersen - 1.6.9-3 - obsolete idris