petersen pushed to Agda (f22). "move agda from ghc-Agda-devel to ghc-Agda"

[notifications at fedoraproject.org]

>From 425f93e8ada1272cfbbb8acc65cdc0a2f55a4299 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Fri, 17 Apr 2015 13:32:33 +0900
Subject: move agda from ghc-Agda-devel to ghc-Agda


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 <petersen at redhat.com> - 2.4.2.2-3
+- move agda from ghc-Agda-devel to ghc-Agda
+
 * Thu Apr 16 2015 Jens Petersen <petersen at redhat.com> - 2.4.2.2-2
 - compile Primitive.agda at install time
 
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=f22&id=425f93e8ada1272cfbbb8acc65cdc0a2f55a4299