[ghc-Agda] change prof BRs to devel

[Jens Petersen]

commit 6b0abd3ce590abe435cfa0cb191542d9848dc20e
Author: Jens Petersen <petersen at redhat.com>
Date:   Mon Jul 16 11:06:17 2012 +0900

    change prof BRs to devel

 ghc-Agda.spec |   29 ++++++++++++++++-------------
 1 files changed, 16 insertions(+), 13 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index edef676..f6303b2 100644
--- a/ghc-Agda.spec
+++ b/ghc-Agda.spec
@@ -22,7 +22,7 @@ proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
 
 Name:           ghc-%{pkg_name}
 Version:        2.3.0.1
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Dependently typed functional programming language
 
 Group:          Development/Languages
@@ -35,18 +35,18 @@ BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros %{!?without_hscolour:hscolour}
 # END cabal2spec
 Source1:        agda-mode-init.el
-BuildRequires:  ghc-binary-prof
-BuildRequires:  ghc-directory-prof
-BuildRequires:  ghc-hashtables-prof
-BuildRequires:  ghc-haskeline-prof
-BuildRequires:  ghc-haskell-src-exts-prof
-BuildRequires:  ghc-mtl-prof
-BuildRequires:  ghc-pretty-prof
-BuildRequires:  ghc-process-prof
-BuildRequires:  ghc-QuickCheck-prof
-BuildRequires:  ghc-syb-prof
-BuildRequires:  ghc-xhtml-prof
-BuildRequires:  ghc-zlib-prof
+BuildRequires:  ghc-binary-devel
+BuildRequires:  ghc-directory-devel
+BuildRequires:  ghc-hashtables-devel
+BuildRequires:  ghc-haskeline-devel
+BuildRequires:  ghc-haskell-src-exts-devel
+BuildRequires:  ghc-mtl-devel
+BuildRequires:  ghc-pretty-devel
+BuildRequires:  ghc-process-devel
+BuildRequires:  ghc-QuickCheck-devel
+BuildRequires:  ghc-syb-devel
+BuildRequires:  ghc-xhtml-devel
+BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy, alex
 BuildRequires:  emacs-haskell-mode
 Patch1:         Agda-2.3.0.1-haskell-src-exts.patch
@@ -159,6 +159,9 @@ echo %{_datadir}/%{pkg_name}-%{version}/Agda.css >> ghc-%{pkg_name}.files
 
 
 %changelog
+* Mon Jul 16 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-6
+- change prof BRs to devel
+
 * Wed Jul 11 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-5
 - fix agda2-version in agda2-mode.el