Changelog for ghc-idris-doc-1.3.3-2.fc33.noarch.rpm :

* Tue Jul 28 2020 Fedora Release Engineering - 1.3.3-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Wed Jun 10 2020 Jens Petersen - 1.3.3-1- update to 1.3.3
* Thu Feb 20 2020 Jens Petersen - 1.3.2-3- refresh to cabal-rpm-2.0.2
* Wed Jan 29 2020 Fedora Release Engineering - 1.3.2-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Thu Jul 25 2019 Jens Petersen - 1.3.2-1- update to 1.3.2
* Thu Jul 25 2019 Fedora Release Engineering - 1.3.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Mar 17 2019 Jens Petersen - 1.3.1-2- use python3-sphinx
* Thu Feb 21 2019 Jens Petersen - 1.3.1-1- update to 1.3.1
* Fri Feb 01 2019 Fedora Release Engineering - 1.3.0-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Wed Oct 24 2018 Jens Petersen - 1.3.0-6- rebuild for static executable- move library html docs to subpackage