[Agda] emacs agda-mode no longer needs haskell-mode
Jens Petersen
petersen at fedoraproject.org
Thu Aug 29 05:05:03 UTC 2013
commit f970b43df43b7c467f578bca448ef5b7f2f0a0c4
Author: Jens Petersen <petersen at redhat.com>
Date: Thu Aug 29 14:04:39 2013 +0900
emacs agda-mode no longer needs haskell-mode
add relnotes link to changelog
Agda.spec | 9 ++++++---
1 files 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 <petersen at redhat.com> - 2.3.2.1-4
+- emacs agda-mode no longer depends on haskell-mode since 2.3.2
+
* Thu Aug 29 2013 Jens Petersen <petersen at redhat.com> - 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 <petersen at redhat.com> - 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
More information about the scm-commits
mailing list