From f970b43df43b7c467f578bca448ef5b7f2f0a0c4 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 29 Aug 2013 14:04:39 +0900 Subject: [PATCH] emacs agda-mode no longer needs haskell-mode add relnotes link to changelog --- Agda.spec | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/Agda.spec b/Agda.spec index 04f8ea2..5e8d058 100644 --- a/Agda.spec +++ b/Agda.spec @@ -4,7 +4,7 @@ Name: %{pkg_name} Version: 2.3.2.1 -Release: 3%{?dist} +Release: 4%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -41,7 +41,6 @@ BuildRequires: alex BuildRequires: happy # End cabal-rpm deps BuildRequires: chrpath -BuildRequires: emacs-haskell-mode ExcludeArch: armv7hl Requires: ghc-%{name}-devel = %{version}-%{release} Requires: emacs-agda = %{version}-%{release} @@ -84,7 +83,6 @@ Summary: Emacs mode for the Agda language Group: Applications/Editors License: MIT Requires: ghc-%{pkg_name}-devel = %{version}-%{release} -Requires: emacs-haskell-mode Requires: emacs(bin) >= %{_emacs_version} %description -n emacs-agda @@ -215,6 +213,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE %changelog +* Thu Aug 29 2013 Jens Petersen - 2.3.2.1-4 +- emacs agda-mode no longer depends on haskell-mode since 2.3.2 + * Thu Aug 29 2013 Jens Petersen - 2.3.2.1-3 - compile agda2-queue.el - check for new elisp files @@ -232,6 +233,8 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE * Tue Jun 11 2013 Jens Petersen - 2.3.2.1-1 - rename src package from ghc-Agda to Agda - update to 2.3.2.1 + http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2 + http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1 - update to new simplified Haskell Packaging Guidelines - agda command-line tool in devel subpackage