rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
This commit is contained in:
Fedora Release Engineering 2020-07-31 23:50:46 +00:00
parent 89dbda77ba
commit e0dc3e1641
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Agda.spec
View File

@ -17,7 +17,7 @@
Name: %{pkg_name}
Version: 2.6.1
# can only be reset when all subpkgs bumped
Release: 26%{?dist}
Release: 27%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@ -251,6 +251,10 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%changelog
* Fri Jul 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-27
- Second attempt - Rebuilt for
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 27 2020 Jeff Law <aw@redhat.com> - 2.6.1-26
- Disable LTO on s390