ID | 174591 |
Package Name | Agda |
Version | 2.6.1 |
Release | 27.fc33 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/Agda.git#e0dc3e164114587b9a44b0dde007955c9bf5536a |
Summary |
Description |
Built by | davidlt |
State |
failed
|
Volume |
DEFAULT |
Started | Sat, 05 Sep 2020 11:51:47 UTC |
Completed | Sat, 05 Sep 2020 12:08:34 UTC |
Task | build (f33, /rpms/Agda.git:e0dc3e164114587b9a44b0dde007955c9bf5536a) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda.git#e0dc3e164114587b9a44b0dde007955c9bf5536a'}} |
Tags |
No tags
|
RPMs |
No RPMs
|
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
* 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
* Sun Jun 07 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-23
- update to 2.6.1
- drop EdisonCore and EdisonAPI deps
* Wed May 27 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-22
- move statically linked /usr/bin/agda and datadir into base package
- also drop common subpackage
* Thu Feb 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-21
- refresh to cabal-rpm-2.0.2
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0.1-20
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* 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
* Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 2.5.4.2-17
- update to 2.5.4.2
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.5.3-16
- refresh to cabal-rpm-0.13
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|