From 1e1c6bd14da36d38266dc0a12f571c4b0850f3ef Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sat, 17 Nov 2012 17:14:01 +0900 Subject: [PATCH] rebuild --- Agda.spec | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/Agda.spec b/Agda.spec index 7eed7c1..4cd7438 100644 --- a/Agda.spec +++ b/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 - 2.3.0.1-3 +- rebuild + * Wed Jul 18 2012 Fedora Release Engineering - 2.3.0.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild