Changelog for Agda-stdlib-0.13-3.fc27.i686.rpm :

* 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
* Wed Feb 03 2016 Fedora Release Engineering - 0.9-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Tue Jun 16 2015 Fedora Release Engineering - 0.9-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Thu Apr 16 2015 Jens Petersen - 0.9-1- update to 0.9- include ffi lib in main package
* Fri Aug 15 2014 Fedora Release Engineering - 0.7-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Fri Jun 06 2014 Fedora Release Engineering - 0.7-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Wed Feb 05 2014 Jens Petersen - 0.7-3- no ghc-rpm-macros-extra on F19
* Mon Feb 03 2014 Jens Petersen - 0.7-2- only build on arch\'s where Agda builds
* Tue Jun 25 2013 Jens Petersen - 0.7-1- update to 0.7 with agda-lib-ffi-0.0.2- use ghc-rpm-macros-extra- add ffi_ver macro for agda-lib-ffi version
* Thu Jul 12 2012 Jens Petersen - 0.6-4- move stdlib files to datadir- subpackage html docs
* Wed Jul 11 2012 Jens Petersen - 0.6-3- subpackage agda-lib-ffi for MAlonzo backend
* Wed Jul 11 2012 Jens Petersen - 0.6-2- fix the manifest to include the libraries- add html- turn off debuginfo- remove README interface files
* Wed Jul 11 2012 Jens Petersen - 0.6-1- update to 0.6
* Sat Jun 04 2011 Fedora Haskell SIG - initial packaging for Fedora automatically generated by cabal2spec-0.23