From 425f93e8ada1272cfbbb8acc65cdc0a2f55a4299 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 17 Apr 2015 13:32:33 +0900 Subject: [PATCH] move agda from ghc-Agda-devel to ghc-Agda --- Agda.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Agda.spec b/Agda.spec index 6f39dc7..29bff28 100644 --- a/Agda.spec +++ b/Agda.spec @@ -4,7 +4,7 @@ Name: %{pkg_name} Version: 2.4.2.2 -Release: 2%{?dist} +Release: 3%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -203,13 +203,13 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE %files -n ghc-%{name} -f ghc-%{name}.files %doc LICENSE +%{_bindir}/agda %{_datadir}/%{name}-%{version} %ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai %files -n ghc-%{name}-devel -f ghc-%{name}-devel.files %doc CHANGELOG -%{_bindir}/agda %files -n emacs-agda %dir %{_emacs_sitelispdir}/agda @@ -222,6 +222,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE %changelog +* Fri Apr 17 2015 Jens Petersen - 2.4.2.2-3 +- move agda from ghc-Agda-devel to ghc-Agda + * Thu Apr 16 2015 Jens Petersen - 2.4.2.2-2 - compile Primitive.agda at install time