diff --git a/Agda.spec b/Agda.spec index f462b76..7c447b3 100644 --- a/Agda.spec +++ b/Agda.spec @@ -4,7 +4,7 @@ Name: %{pkg_name} Version: 2.3.2.2 -Release: 4%{?dist} +Release: 5%{?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 Aug 15 2014 Fedora Release Engineering - 2.3.2.2-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild + * Fri Jun 06 2014 Fedora Release Engineering - 2.3.2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild