Changelog for idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm :

* Sun Aug 22 2021 Jens Petersen - 1.3.3-6.20210626git2ef8238d0- update to latest git, which builds with ghc-8.10 (#1991878)
* Fri Aug 06 2021 Jens Petersen - 1.3.3-5- rebuild
* Thu Jul 22 2021 Fedora Release Engineering - 1.3.3-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering - 1.3.3-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Aug 10 2020 Jens Petersen - 1.3.3-2- setup bash completion
* 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