| ID | 268004 |
| Package Name | Agda-stdlib |
| Version | 1.7.3 |
| Release | 1.fc40 |
| Epoch | |
| Summary |
| Description |
| Built by | davidlt |
| State |
complete
|
| Volume |
DEFAULT |
| Started | Mon, 20 Nov 2023 14:57:37 UTC |
| Completed | Mon, 20 Nov 2023 14:57:37 UTC |
| Tags |
|
| RPMs |
|
| Changelog |
* 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
* Mon Feb 20 2023 Jens Petersen <petersen@redhat.com> - 1.7.1-5
- rebuild
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* 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
|
