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

prof panics on i686

This commit is contained in:
Jens Petersen 2019-08-06 12:33:14 +08:00
parent 900142581b
commit 55fb1c20ea
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Agda.spec
View File

@ -1,6 +1,11 @@
# generated by cabal-rpm-1.0.1 --subpackage
# https://fedoraproject.org/wiki/Packaging:Haskell
# https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
%ifarch %{ix86}
%bcond_with prof
%endif
%global pkg_name Agda
%global pkgver %{pkg_name}-%{version}
@ -270,6 +275,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%changelog
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.6.0.1-19
- update to 2.6.0.1
- disable prof for i686
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild