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

- 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-27 10:12:31 +00:00
parent 8b113d48b1
commit ac21eaf931
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Agda.spec
View File

@ -17,7 +17,7 @@
Name: %{pkg_name}
Version: 2.6.1
# can only be reset when all subpkgs bumped
Release: 24%{?dist}
Release: 25%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@ -247,6 +247,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%changelog
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-25
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-24
- enable armv7hl with -O0