diff --git a/Agda.spec b/Agda.spec index edab375..0bc8357 100644 --- a/Agda.spec +++ b/Agda.spec @@ -4,7 +4,7 @@ Name: %{pkg_name} Version: 2.3.2.1 -Release: 1%{?dist} +Release: 2%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -204,6 +204,9 @@ rm %{buildroot}%{ghc_docdir}/LICENSE %changelog +* Fri Aug 02 2013 Fedora Release Engineering - 2.3.2.1-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild + * Fri Jul 26 2013 Jens Petersen - use ghc_docdir