diff --git a/Agda.spec b/Agda.spec index cd810a3..0ec5606 100644 --- a/Agda.spec +++ b/Agda.spec @@ -16,7 +16,7 @@ Name: %{pkg_name} Version: 2.6.1 # can only be reset when all subpkgs bumped -Release: 28%{?dist} +Release: 29%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -160,10 +160,6 @@ fi %build -# This patch has LTO symbol mismatches when built on s390x, so disable it on that -# platform for now -%define _lto_cflags %{nil} - %define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el # check no missing new elisp files @@ -245,6 +241,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Sun Oct 11 2020 Jeff Law - 2.6.1-29 +- Re-enable LTO + * Tue Sep 1 2020 Jens Petersen - 2.6.1-28 - uri-encode has been packaged