| ID | 20973 |
| Package Name | Agda-stdlib |
| Version | 2.3 |
| Release | 5.fc45 |
| Epoch | |
Draft | False |
| Source | git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#a74f11d904e64c672304b90ca47f1f893eb7f8db |
| Summary |
| Description |
| Built by | guoguo |
| State |
failed
|
| Volume |
DEFAULT |
| Started | Thu, 29 Oct 2026 02:10:41 UTC |
| Completed | Thu, 29 Oct 2026 02:12:53 UTC |
| Task | build (f45, /rpms/Agda-stdlib.git:a74f11d904e64c672304b90ca47f1f893eb7f8db) |
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#a74f11d904e64c672304b90ca47f1f893eb7f8db'}} |
| Tags |
No tags
|
| RPMs |
No RPMs
|
| Changelog |
* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Tue Jun 23 2026 Jens Petersen <petersen@redhat.com> - 2.3-4
- no longer build with --no-libraries: fixes rhbz#2248716
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Mon Aug 11 2025 Jens Petersen <petersen@redhat.com> - 2.3-1
- https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Mon Apr 14 2025 Jens Petersen <petersen@redhat.com> - 2.1.1-1
- update to 2.1.1 with Agda-2.7.0.1
* Mon Jan 20 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
|
