Changelog for Agda-stdlib-1.7.3-7.fc41.noarch.rpm :

* Wed Jul 17 2024 Fedora Release Engineering - 1.7.3-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Sat May 18 2024 Jens Petersen - 1.7.3-6- rebuild for Agda 2.6.4.3
* Mon Jan 22 2024 Fedora Release Engineering - 1.7.3-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering - 1.7.3-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Fedora Release Engineering - 1.7.3-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Dec 07 2023 Jens Petersen - 1.7.3-2- bump for Agda-2.6.4.1
* Mon Oct 16 2023 Jens Petersen - 1.7.3-1- update to 1.7.3 for Agda 2.6.4
* Fri Jul 28 2023 Jens Petersen - 1.7.2-1- https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md
* Wed Jul 19 2023 Fedora Release Engineering - 1.7.1-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Mon Feb 20 2023 Jens Petersen - 1.7.1-5- rebuild
* Wed Jan 18 2023 Fedora Release Engineering - 1.7.1-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Jul 20 2022 Fedora Release Engineering - 1.7.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild