rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

exclude armv7hl

Browse source
This commit is contained in:
Jens Petersen 2021-08-09 20:02:39 +08:00
commit 0efab68751
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Agda-stdlib.spec
View file

@ -16,6 +16,8 @@ BuildRequires: Agda
BuildArch: noarch
Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
Requires: Agda = 2.6.2
# Agda can't build on armv7hl currently for f35/ghc-8.10
ExcludeArch: armv7hl
%description
Agda standard libraries
@ -69,6 +71,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
%changelog
* Mon Aug 9 2021 Jens Petersen <petersen@redhat.com> - 1.7-1
- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md
- disable armv7hl: no Agda - runs out of memory
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild