rebuild

Agda.spec

@@ -1,4 +1,3 @@
-# cabal2spec-0.25
 # https://fedoraproject.org/wiki/Packaging:Haskell
 # https://fedoraproject.org/wiki/PackagingDrafts/Haskell
 
@@ -6,18 +5,17 @@
 
 Name:           Agda
 Version:        2.3.0.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Dependently typed programming language command-line
 
 License:        MIT
-# BEGIN cabal2spec
 URL:            http://hackage.haskell.org/package/%{pkg_name}
 Source0:        http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
-ExclusiveArch:  %{ghc_arches_with_ghci}
+
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
-# END cabal2spec
 BuildRequires:  ghc-Agda-devel = %{version}
+ExclusiveArch:  %{ghc_arches_with_ghci}
 
 %description
 This package provides a command-line program for type-checking and
@@ -45,6 +43,9 @@ For the interactive environment please install emacs-agda instead.
 
 
 %changelog
+* Sat Nov 17 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-3
+- rebuild
+
 * Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild