| ID | 29961 |
| Package Name | Agda-stdlib |
| Version | 2.1.1 |
| Release | 1.fc43 |
| Epoch | |
Draft | False |
| Summary |
| Description |
| Built by | davidlt |
| State |
complete
|
| Volume |
DEFAULT |
| Started | Wed, 24 Sep 2025 12:48:53 UTC |
| Completed | Wed, 24 Sep 2025 12:48:53 UTC |
| Tags |
|
| RPMs |
|
| Changelog |
* 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
* Sat May 18 2024 Jens Petersen <petersen@redhat.com> - 1.7.3-6
- rebuild for Agda 2.6.4.3
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Dec 07 2023 Jens Petersen <petersen@redhat.com> - 1.7.3-2
- bump for Agda-2.6.4.1
* Mon Oct 16 2023 Jens Petersen <petersen@redhat.com> - 1.7.3-1
- update to 1.7.3 for Agda 2.6.4
* Fri Jul 28 2023 Jens Petersen <petersen@redhat.com> - 1.7.2-1
- https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
