Changelog for Agda-stdlib-docs-1.7.2-1.fc39.noarch.rpm :

* 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
* Tue Jun 21 2022 Jens Petersen - 1.7.1-2- rebuild against Agda-2.6.2.2
* Wed Mar 09 2022 Jens Petersen - 1.7.1-1- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md
* Wed Jan 19 2022 Fedora Release Engineering - 1.7-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Aug 09 2021 Jens Petersen - 1.7-1- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md- disable armv7hl: no Agda - runs out of memory