diff --git a/Agda.spec b/Agda.spec index d57c71e..f462b76 100644 --- a/Agda.spec +++ b/Agda.spec @@ -4,7 +4,7 @@ Name: %{pkg_name} Version: 2.3.2.2 -Release: 3%{?dist} +Release: 4%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -216,6 +216,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE %changelog +* Fri Jun 06 2014 Fedora Release Engineering - 2.3.2.2-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + * Tue Apr 22 2014 Jens Petersen - 2.3.2.2-3 - no _pkgdocdir in EL7