| ID | 12271 |
| Package Name | Agda-stdlib |
| Version | 1.7.1 |
| Release | 3.fc37 |
| Epoch | |
| Source | git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#61962e06bfa918e4c3a300d1464cca2534f07410 |
| Summary |
| Description |
| Built by | kojiadmin |
| State |
failed
|
| Volume |
DEFAULT |
| Started | Tue, 28 Feb 2023 06:14:15 CST |
| Completed | Tue, 28 Feb 2023 06:35:05 CST |
| Task | build (f37-build-side-32-misc-devel, /rpms/Agda-stdlib.git:61962e06bfa918e4c3a300d1464cca2534f07410) |
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#61962e06bfa918e4c3a300d1464cca2534f07410'}} |
| Tags |
No tags
|
| RPMs |
No RPMs
|
| Changelog |
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jun 21 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-2
- rebuild against Agda-2.6.2.2
* Wed Mar 09 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-1
- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Aug 09 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
* Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4
- Agda-2.6.1 puts .agdai files under _build/
- move Everything and README modules to docs
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2
- make package noarch
|
