Changelog for Agda-stdlib-1.7.1-1.fc36.noarch.rpm :

* 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
* Wed Jul 21 2021 Fedora Release Engineering - 1.3-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Mon Jan 25 2021 Fedora Release Engineering - 1.3-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Aug 24 2020 Jens Petersen - 1.3-4- Agda-2.6.1 puts .agdai files under _build/- move Everything and README modules to docs
* Mon Jul 27 2020 Fedora Release Engineering - 1.3-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 20 2020 Jens Petersen - 1.3-2- make package noarch
* Sat Jun 27 2020 Jens Petersen - 1.3-1- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
* Tue May 26 2020 Jens Petersen - 1.2-1- update to 1.2- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md- requires Agda instead of ghc-Agda now