diff --git a/Agda.spec b/Agda.spec index 2ccf083..4096d4b 100644 --- a/Agda.spec +++ b/Agda.spec @@ -15,7 +15,7 @@ Name: %{pkg_name} Version: 2.5.3 # can only be reset when all subpkgs bumped -Release: 14%{?dist} +Release: 15%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -229,6 +229,9 @@ mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name} %changelog +* Thu Jan 31 2019 Fedora Release Engineering - 2.5.3-15 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + * Thu Jul 19 2018 Jens Petersen - 2.5.3-14 - update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6 - revise .cabal file