Changelog for Agda-stdlib-0.15-4.fc29.x86_64.rpm :

* Tue Aug 28 2018 Jens Petersen - 0.15-4- keep README
*.agdai- require ghc-Agda
* Wed Aug 22 2018 Jens Petersen - 0.15-3- install library files correctly under src/
* Thu Jul 12 2018 Fedora Release Engineering - 0.15-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Sun Jul 01 2018 Jens Petersen - 0.15-1- update to 0.15 for Agda-2.5.3
* Wed Feb 07 2018 Fedora Release Engineering - 0.13-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Wed Aug 02 2017 Fedora Release Engineering - 0.13-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 0.13-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sun Mar 12 2017 Jens Petersen - 0.13-1- update to 0.13- install standard-library.agda-lib package file
* Fri Feb 10 2017 Fedora Release Engineering - 0.11-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Mon Oct 24 2016 Jens Petersen - 0.11-3- update to 0.11