diff --git a/Agda.spec b/Agda.spec index c85a468..75dceda 100644 --- a/Agda.spec +++ b/Agda.spec @@ -4,7 +4,7 @@ Name: %{pkg_name} Version: 2.4.2.2 -Release: 5%{?dist} +Release: 6%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -186,6 +186,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE %changelog +* Wed Feb 03 2016 Fedora Release Engineering - 2.4.2.2-6 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + * Wed Jul 22 2015 Jens Petersen - 2.4.2.2-5 - drop emacs subpackages (#1234569)