Changelog for emacs-common-proofgeneral-4.4-12.20200506gitea62543.fc33.noarch.rpm :

* Mon Jul 27 2020 Fedora Release Engineering - 4.4-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Wed May 20 2020 Jerry James - 4.4-11.20200506gitea62543- May 6 2020 git snapshot so emacs-mmm dependency can be dropped (bz 1837683)- Remove the -el subpackage as required by current package guidelines
* Tue Jan 28 2020 Fedora Release Engineering - 4.4-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jul 24 2019 Fedora Release Engineering - 4.4-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Thu Jan 31 2019 Fedora Release Engineering - 4.4-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild